1. Peterson, J.L., Petri Net Theory and Modeling of Systems, Englewood Cliffs: Prentice-Hall, 1981. Translated under the title Teoriya setei Petri i modelirovanie sistem, Moscow: Mir, 1984.
2. Kotov, V.E., Seti Petri (Petri Nets), Moscow: Nauka, 1984.
3. Sleptsov, A.I. and Yurasov, A.A., Avtomatizatsiya proektirovaniya upravlyayushchikh sistem gibkikh avtomatizirovannykh proizvodstv (Automated Design of the Control Systems for Flexible Computer-aided Manufacturing), Malinovskii, B.N., Ed., Kiev: Tekhnika, 1986.
4. Achasova, S.M. and Bandman, O.L., Korrektnost’ parallel’nykh vychislitel’nykh protsessov (Correctness of Parallel Computations), Novosibirsk: Nauka, 1990.
5. Jensen, K., Colored Petri Nets. Basic Concepts, Analysis Methods and Practical Use, 3 vols., New York: Springer, 1997.