Title :
Semantics of petri nets: A comparison
Author :
Juhás, Gabriel ; Lehocki, Fedor ; Lorenz, Robert
Author_Institution :
Slovak Univ. of Technol., Bratislava
Abstract :
In this paper, we investigate results on relationship between different semantics of place/transition Petri nets based on labelled partial orders. We also discuss relationships between so called commutative processes representing collective token philosophy and individual process semantics of place/transition nets.
Keywords :
Petri nets; Petri net; commutative process; labelled partial order; Communication networks; Communication system control; Computer science; Concurrent computing; Control system analysis; Flexible manufacturing systems; Information technology; Joining processes; Multiprocessing systems; Petri nets;
Conference_Titel :
Simulation Conference, 2007 Winter
Conference_Location :
Washington, DC
Print_ISBN :
978-1-4244-1306-5
Electronic_ISBN :
978-1-4244-1306-5
DOI :
10.1109/WSC.2007.4419655
