Title :
Complex Token Petri nets
Author :
Desrochers, Alan A. ; Deal, Thomas J. ; Fanti, Maria Pia
Author_Institution :
Dept. of Electr. Comput. & Syst. Eng., Rensselaer Polytech. Inst., Troy, NY, USA
Abstract :
This paper will present a new extension to ordinary Petri nets that uses complex-valued tokens to increase their descriptive abilities while retaining their ease of analysis often lost in high-level Petri nets. By allowing two kinds of tokens, "real" and "imaginary", each place marking contains both quantity and type information. Complex Token Petri nets were designed to integrate seamlessly with other popular Petri net extensions such as timed nets, stochastic nets, and continuous nets. This simple and intuitive application of complex numbers to Petri nets provides a unique modeling tool.
Keywords :
Petri nets; discrete event systems; modelling; supply chains; complex token Petri nets; complex-valued tokens; continuous nets; discrete event systems; imaginary tokens; modeling tool; real tokens; stochastic nets; supply chain modeling; timed nets; Discrete event systems; Image analysis; Petri nets; Production systems; Reachability analysis; Stochastic processes; Supply chains; Systems engineering and theory; Transportation; Vehicles;
Conference_Titel :
Systems, Man and Cybernetics, 2003. IEEE International Conference on
Print_ISBN :
0-7803-7952-7
DOI :
10.1109/ICSMC.2003.1244567