An algorithm for the evolution graph of extended hybrid Petri nets
Martina Svádová, Zdeněk Hanzálek · 2005
Extended hybrid Petri nets (eHPNs) defined by David & Caramihai are one of possible extensions of hybrid Petri nets modeling a delay on continuous flow. The behavior of hybrid dynamic systems, modeled by eHPNs, can be studied using an evolution graph. This work introduces an algorithm generating the evolution graph consisting of IB-states. A model of hydro-system is used as an illustrative example.