Zaitsev D.A., Zaitsev I.D., Shmeleva T.R. Infinite Petri Nets as Models of Grids (pp. 187-204). Chapter 19 in Mehdi Khosrow-Pour (Ed.) Encyclopedia of Information Science and Technology, Third Edition (10 Volumes). IGI-Global: USA, 2014.
Zaitsev, Dmitry A., Tatiana R. Shmeleva, and David E. Probert. 2021. "Applying Infinite Petri Nets to the Cybersecurity of Intelligent Networks, Grids and Clouds" Applied Sciences 11, no. 24: 11870.
Dmitry A. Zaitsev & MengChu Zhou, From strong to exact Petri net computers, International Journal of Parallel, Emergent and Distributed Systems, 37(2), 2022, 167-186.
Dmitry A. Zaitsev, Tatiana R. Shmeleva & Birgit Proll, Spatial specification of hypertorus interconnect by infinite and reenterable coloured Petri nets, International Journal of Parallel, Emergent and Distributed Systems, 37(1), 2022, 1-21.
Dmitry A. Zaitsev, Tatiana R. Shmeleva and Jan Friso Groote, Verification of Hypertorus Communication Grids by Infinite Petri Nets and Process Algebra, IEEE/CAA Journal of Automatica Sinica, 6(3), 2019, 733-742.
Zaitsev D.A. Simulating Cellular Automata by Infinite Petri Nets, Journal of Cellular Automata. 13(1-2), 2018, 121-144.
Dmitry A. Zaitsev, Ivan D. Zaitsev and Tatiana R. Shmeleva. Infinite Petri Nets: Part 2, Modeling Triangular, Hexagonal, Hypercube and Hypertorus Structures, Complex Systems, 26(4), 2017, 341-371.
Dmitry A. Zaitsev, Ivan D. Zaitsev and Tatiana R. Shmeleva. Infinite Petri Nets: Part 1, Modeling Square Grid Structures, Complex Systems, 26(2), 2017, 157-195.
Zaitsev D.A. Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets, Automatic Control and Computer Sciences, 2013, Vol. 47, No. 7, pp. 403-412.
Zaitsev D.A., Shmeleva T.R. Verification of hypercube communication structures via parametric Petri nets, Cybernetics and Systems Analysis, Volume 46, Number 1 (2010), 105-114.
D. Zaitsev, T. Shmeleva and D. E. Probert, "Two Kinds of Infinite Petri Nets for Modeling Computing and Communication Systems," 2021 IEEE 8th International Conference on Problems of Infocommunications, Science and Technology (PIC S&T), 2021, pp. 373-378.
D. A. Zaitsev, T. R. Shmeleva and P. Ghaffari, "Modeling Multidimensional Communication Lattices with Moore Neighborhood by Infinite Petri Nets," 2021 International Conference on Information and Digital Technologies (IDT), 2021, pp. 171-181, doi: 10.1109/IDT52577.2021.9497552.
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Roman N. Guliak, Analyzing Multidimensional Communication Lattice with Combined Cut-Through and Store-and-Forward Switching Node, Lecture Notes in Networks and Systems: Proceedings of ICNGIoT 2021, Next Generation of Internet of Things, 2021, pp. 705-715.
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Werner Retschitzegger, Spatial Specification of Grid Structures by Petri Nets, Lecture Notes in Networks and Systems: Proceedings of 4th ICMETE 2020, Micro-Electronics and Telecommunication Engineering, 2021, pp. 253-263.
Zaitsev D.A. Universality in Infinite Petri Nets. Proceedings of 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Lecture Notes in Computer Science, Volume 9288, pp 180-197.
Shmeleva, T.R., Zaitsev, D.A., Zaitsev, I.D. Verification of square communication grid protocols via infinite Petri nets, MESM 2009 - 10th Middle Eastern Simulation Multiconference, September 27-29, Beirut, Lebanon, p. 53-59.
Zaitsev D.A., Shmeleva T.R. Hypercube communication structures analysis via parametric Petri nets // Proceedings of 24th UK Performance Engineering Workshop (UKPEW 2008), 3-4 July 2008, Department of Computing, Imperial College London, p. 358-371.
Zaitsev D.A., Zaitsev I.D. Verification of Ethernet protocols via parametric composition of Petri net , INCOM'2006: 12th IFAC/IFIP/IFORS/IEEE/IMS Symposium Information Control Problems in Manufacturing, May 17-19 2006, Saint-Etienne, France, p. 236-243.