An algorithm for the evolution graph of extended Hybrid Petri nets

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn 5, Issue , 2004, Pages 4905-4910

  Svadova, Martina ^a   Hanzalek, Zdenek ^a  

^a CZECH TECHNICAL UNIVERSITY IN PRAGUE   (Czech Republic)

Author keywords

Delay on flow; Evolution graph algorithm; Extended Hybrid Petri nets

Indexed keywords

DELAY ON FLOW; EVOLUTION GRAPH ALGORITHM; EXTENDED HYBRID PETRI NETS; HYDRO-SYSTEM;

ALGORITHMS; CONSTRAINT THEORY; CYBERNETICS; MATHEMATICAL MODELS; MATRIX ALGEBRA; SENSORS; SET THEORY;

PETRI NETS;

EID: 15744382251     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2004.1401308     Document Type: Conference Paper

References (7)

1. R. David, and H. Alla, Petri Nets and Grafcet, Prentise Hall, London, 1992
2. R. David, and H. Alla, "Continuous and Hybrid Nets ", Journal of Circuits, Systems and Computers, Vol 8, No. 1, pp. 159-188, 1998.
3. th International conference on Automation of Mixed Processes: Hybrid Dynamic systems, p. 343-350, 2000.
4. Z. Hanzalek, and M. Svadova, "Matlab Toolbox for Petri Nets. Tool Demonstrations", Application and Theory Petri nets, Newcastle upon Tyne, p. 35-39, June 2001
5. R. David, and H. Alla, "On Hybrid Petri Net", Discrete event dynamic systems: Theory and applications, Vol 11, p. 9-41, 2001.
6. T. Murata, "Petri Nets: Properties, Analysis and Application", Proceeding of The IEEE, Vol 77, 1989
7. F. Balduzzi, A. Guia, and C. Seatzu, "Modelling manufacturing systems with First-Order Hybrid Petri Nets", International Journal of Production Research, Special Issue on Modeling, Specification and Analysis of Manufacturing Systems, Vol. 39, No. 2, 2001