A. V. Markov, A. A. Voevoda, “Nested Petri nets and loaded inscription labels: distributed system and recursion”, Vestn. Astrakhan State Technical Univ. Ser. Management, Computer Sciences and Informatics, 2015, no. 2, 23–31
2014
2.
A. A. Voevoda, A. V. Markov, D. O. Romannikov, “Software Development: Software Design Using UML Diagrams and Petri Nets for Example Automated Process Control System of Pumping Station”, Tr. SPIIRAN, 34 (2014), 218–231