[1]
|
J. L. Peterson, “Petri Net Theory and the Modeling of Systems,” Prentice Hall, Upper Saddle River, 1981.
|
[2]
|
T. Murata, “Petri Nets: Properties, Analysis and Applications,” Proceedings of the IEEE, Vol. 77, No. 4, 1989, pp. 541-580. doi:10.1109/5.24143
|
[3]
|
K. Jensen, “Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use,” Springer-Verlag, Berlin, 1992. doi:10.1007/978-3-662-06289-0
|
[4]
|
K. Jensen, “Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volumn 1. Basic Concepts. Monographs in Theoretical Computer Science,” Springer-Verlag, Berlin, 1997.
|
[5]
|
K. Jensen, “Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volumn 2. Analysis Methods Monographs in Theoretical Computer Science,” Springer-Verlag, Berlin, 1997.
|
[6]
|
K. Jensen, “Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volumn 3. Practical Use. Monographs in Theoretical Computer Science,” Springer-Verlag, Berlin, 1997.
|
[7]
|
K. Jensen, “Coloured Petri Nets: A High-level Language for System Design and Analysis,” In: G. Rozenberg, Ed., Advances in Petri Nets 1990, Lecture Notes in Computer Science, Vol. 483, Springer-Verlag, Berlin, 1991, pp. 342-416.
|
[8]
|
K. Jensen, “Coloured Petri Nets: A High-level Language for System Design and Analysis,” In: K. Jensen and G. Rozenberg, Eds., High-Level Petri Nets. Theory and Application, Springer-Verlag, Berlin, 1991, pp. 44-122.
|
[9]
|
J. D. Ullman, “Elements of ML Programming,” Prentice-Hall, Upper Saddle River, 1998.
|
[10]
|
A. V. Aho and J. D. Ullman, “Theory of Parsing, Translation, & Compiling,” Prentice Hall, Upper Saddle River, 1973
|