DocumentCode :
428861
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
Volume :
5
fYear :
2004
fDate :
10-13 Oct. 2004
Firstpage :
4905
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems, Man and Cybernetics, 2004 IEEE International Conference on
ISSN :
1062-922X
Print_ISBN :
0-7803-8566-7
Type :
conf
DOI :
10.1109/ICSMC.2004.1401308
Filename :
1401308
Link To Document :
بازگشت