Dmitry A. Zaitsev

Dmitry A. ZaitsevDmitry 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 published more than a hundred papers, 2 books, and 2 book chapters. He developed the universal Petri nets, the analysis of infinite Petri nets with regular structure, the decomposition of Petri nets in clans, and the method of synthesis of fuzzy logic function given by tables. He is the ACM Senior Member.

Publications

Modeling With Colored Petri Nets: Specification, Verification, and Performance Evaluation of Systems
Dmitry A. Zaitsev, Tatiana R. Shmeleva. © 2021. 28 pages.
Aviation and aerospace systems are complex and concurrent and require special tools for their specification, verification, and performance evaluation. The tool in demand should...
Sleptsov Net Computing
Dmitry A. Zaitsev. © 2019. 15 pages.
Motivation for new models of hyper-computations was presented. Sleptsov net was introduced compared to Petri and Salwicki nets. A concept of universal Sleptsov net, as a...
Modeling With Colored Petri Nets: Specification, Verification, and Performance Evaluation of Systems
Dmitry A. Zaitsev, Tatiana R. Shmeleva. © 2019. 27 pages.
Aviation and aerospace systems are complex and concurrent and require special tools for their specification, verification, and performance evaluation. The tool in demand should...
Sleptsov Net Computing
Dmitry A. Zaitsev. © 2018. 13 pages.
Motivation for new models of hyper-computations was presented. Sleptsov net was introduced compared to Petri and Salwicki nets. A concept of universal Sleptsov net, as a...
Petri Nets for Modeling and Computing
Dmitry A. Zaitsev. © 2016. 2 hrs 25 mins.
A petri net is a mathematical modeling language found in computer science, systems engineering, networking, and other applications. Further understanding of petri nets and their...
Infinite Petri Nets as Models of Grids
Dmitry A. Zaitsev, Ivan D. Zaitsev, Tatiana R. Shmeleva. © 2015. 18 pages.
An overview of works, early published by the authors, has been done that explains peculiarities of composition and analysis technique developed for investigation of infinite...
Composition of Functional Petri Nets
Dmitry A. Zaitsev. © 2013. 61 pages.
Functional Petri nets and subnets are introduced and studied for the purpose of speed-up of Petri nets analysis with algebraic methods. The authors show that any functional...