Complex Token Petri nets
A.A. Desrochers, T.J. Deal, Maria Pia Fanti · 2004
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.