Hybrid state Petri nets which have the analysis power of stochastic hybrid systems and the formal verification power of automata - Everdij, M.H.C.; Blom, H.A.P. (National Aerospace Laboratory NLR, 2010)
Keywords: Systems and control theory