Webinar on Modeling Grid and Cloud Computing Systems by Infinite Petri Nets


A composition and analysis technique was developed for investigation of infinite Petri nets with
regular structure, introduced for modeling networks, clusters, computing grids, and clouds that also
concerns cellular automata and biological systems. A case study of a square grid structure
composition and analysis is presented. Parametric description of Petri nets, parametric
representation of infinite systems for the calculation of place/transition invariants, and solving them
in parametric form allowed the invariance proof for infinite Petri net models. Some additional
analysis techniques based on graphs of transmissions and blockings are presented. Further
generalization on multidimensional structures such as hypercube and hypertorus implemented.
Generators of Petri net models developed and put on GitHub for public use. Complex deadlocks
were disclosed and a possibility of network blocking via ill-intentioned traffic revealed. Prospects
for further development of infinite Petri net theory are outlined.

Basic references

1. Zaitsev D.A, Shmeleva T.R., Groote J.F., Verification of Hypertorus Communication Grids by Infinite
Petri Nets and Process Algebra, IEEE/CAA Journal of Automatica Sinica, 6(3), 2019, 733-742.
2. Zaitsev D.A., Shmeleva T.R., Sleptsov F.I., Reenterable Colored Petri Net Models of Networks, Grids,
and Clouds: Case Study for Provider Backbone Bridge. 26th Telecommunications Forum (TELFOR 2018),
November 20-21, 2018, Belgrade, Serbia.
3. Zaitsev D.A. Simulating Cellular Automata by Infinite Petri Nets, Journal of Cellular Automata. 13(1-2),
2018, 121-144.
4. Zaitsev D.A., Zaitsev I.D., Shmeleva T.R., Infinite Petri Nets: Part 2, Modeling Triangular, Hexagonal,
Hypercube and Hypertorus Structures, Complex Systems, 26(4), 2017, 341-371.
5. Zaitsev D.A., Zaitsev I.D., Shmeleva T.R. Infinite Petri Nets: Part 1, Modeling Square Grid Structures,
Complex Systems, 26(2), 2017, 157-195.
6. 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.
7. 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.
8. 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.

  Date and Time




  • Date: 22 May 2020
  • Time: 03:00 PM to 04:10 PM
  • All times are (GMT+05:30) Asia/Calcutta
  • Add_To_Calendar_icon Add Event to Calendar
  • Ghaziabad, Uttar Pradesh
  • India 201204


Dr. Dmitry A. Zaitsev Dr. Dmitry A. Zaitsev


Modeling Grid and Cloud Computing Systems by Infinite Petri Nets


Dmitry A. Zaitsev received the Eng. degree in Applied Mathematics from Donetsk Polytechnic Institute, Donetsk, Ukraine, in 1986, the Ph.D. degree in Automated Control from the Kiev Institute of Cybernetics, Kiev, Ukraine, in 1991, and the Dr.Sc. degree in Telecommunications from the Odessa National Academy of Telecommunications, Odessa, Ukraine, in 2006. He is a Professor of Information Technology at Odessa State Environmental University, Ukraine since 2014. He developed the analysis of infinite Petri nets with regular structure, the decomposition of Petri nets in clans, generalized neighborhood for cellular automata, and the method of synthesis of fuzzy logic function given by tables. He developed Opera-Topaz software for manufacture operative planning and control; a new stack of networking protocols E6 and its implementation within Linux kernel; Petri net analysis software Deborah, Adriana, and ParAd; models of TCP, BGP, IOTP protocols, Ethernet, IP, MPLS, PBB, and Bluetooth networks. His current research interests include Petri net theory and its application in networking, computing and automated manufacture. Recently he started working in the area of exascale computing applying his theory of clans to speed-up solving sparse linear systems on parallel and distributed architectures. He was a co-director of joint projects with China and Austria. Recently he has been a visiting professor to Technical University of Dortmund, Germany on DAAD scholarship, to University of Tennessee Knoxville, USA on Fulbright scholarship and to Eindhoven University of Technology, Netherlands. He published a monograph, 3 book chapters and more than a hundred of papers including issues listed in JCR. He is a senior member of ACM and IEEE. Additional information including papers, software, models, video-lectures in put on personal web-site http://daze.ho.ua

Address:Odessa State Environmental University, Ukraine, , Odes'ka, Ukraine


To join webinar at zoom, Kindly use the following id and password mentioned below.

Date : 22/05/2020

Time : 03:00 PM - 04:00 PM (Indian Timing) GMT+5:30


Join Zoom Meeting

Meeting ID: 992 5587 2770
Password: 987245

Zoom Platform will be used for the Webinar.