1. W. Reisig, Petri Nets. An Introduction. Springer-Verlag, New York, 1985.
2. V. E. Kotov, Petri Nets, in Russian. Moscow, Nauka, 1984.
3. M. Diaz, Petri Nets: Fundamental Models, Verification and Applications. J. Wiley, Inc. USA, 2009.
4. H.-C. Yen, "Introduction to Petri Net Theory”, Recent Advances in Formal Languages and Applications, vol. 25, pp. 343-373, 2006.
5. E. V. Kuzmin and V. A. Sokolov, Automata Counter Machines, in Russian. P.G. Demidov Yaroslavl State University, 2012.