Title :
An algorithm for the evolution graph of extended hybrid Petri nets
Author :
Svadova, Martina ; Hanzalek, Zdenek
Author_Institution :
Center for Appl. Cybern., Czech Tech. Univ., Prague, Czech Republic
Abstract :
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.
Keywords :
Petri nets; delays; discrete event systems; evolution graph; extended hybrid Petri nets; hybrid dynamic systems; Algorithm design and analysis; Character generation; Cybernetics; Delay effects; Delay systems; Fluid dynamics; Manufacturing systems; Mathematical model; Petri nets; Protocols;
Conference_Titel :
Systems, Man and Cybernetics, 2004 IEEE International Conference on
Print_ISBN :
0-7803-8566-7
DOI :
10.1109/ICSMC.2004.1401308
