Title :
Extended simple colored Petri nets: a tool for plant simulation
Author :
Camurri, Antonio ; Coglio, Alessandro
Author_Institution :
Dipartimento di Inf., Sistemistica e Telematica, Geneva Univ., Switzerland
Abstract :
Extended simple colored Petri nets (ESCP-nets) are a new class of high-level Petri nets conceived as a good trade-off between Petri nets (P-nets) and colored Petri nets (CP-nets), to be used in plant simulation. ESCP-nets, while being much more convenient and compact than P-nets, are simpler than CP-nets, thus being more easily implemented and more amenable to formal analysis. Furthermore, they possess some features particularly well-suited to plant simulation. The successful employment of ESCP-nets in an industrial application has confirmed their validity
Keywords :
Petri nets; graph colouring; industrial plants; production control; simulation; ESCP-nets; extended simple colored Petri nets; high-level Petri nets; plant simulation; Analytical models; Computational modeling; Concurrent computing; Employment; Performance analysis; Petri nets; Resource management; Throughput; Time measurement; Tokamaks;
Conference_Titel :
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-4053-1
DOI :
10.1109/ICSMC.1997.635437
