Modeling of hybrid dynamic systems with generalized differential petri nets