Modeling of hybrid dynamic systems with generalized differential petri nets | IEEE Conference Publication | IEEE Xplore