Modeling and simulation of hybrid dynamical systems with generalized differential Petri nets | IEEE Conference Publication | IEEE Xplore