Stochastic Petri nets model of hybrid dynamical system | IEEE Conference Publication | IEEE Xplore