Publications (abstracts): scientific , textbooks , presentations

Zaitsev D.A. Petri Nets for Modeling and Computing: Videolecture. USA: IGI-Global, August, 2015, 2 hrs 25 mins.

Monographs

Zaitsev D.A. Clans of Petri Nets: Verification of protocols and performance evaluation of networks, LAP LAMBERT Academic Publishing, 2013, 292 p.

Book chapters

Zaitsev D.A. and Shmeleva T.R. Modeling With Colored Petri Nets: Specification, Verification, and Performance Evaluation of Systems (pp. 378-404) Chapter 14 in T. Shmelova, N. Rizun, D. Kucherov and K. Dergachov (Ed.) Automated Systems in the Aviation and Aerospace Industries. IGI-Global: USA, 2019.

Zaitsev D.A. Sleptsov Net Computing (pp. 7731-7743) Chapter 672 in Mehdi Khosrow-Pour (Ed.) Encyclopedia of Information Science and Technology, Fourth Edition (10 Volumes). IGI-Global: USA, 2017.

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 D.A. Composition of Functional Petri Nets (pp. 404-465). Chapter 17 in Z.W. Li and A.M. Al-Ahmari (Ed.), Formal Methods in Manufacturing Systems: Recent Advances. IGI-Global: USA, 2013.

CORE A*/A journal papers

Dmitry Zaitsev, Stanimire Tomov, Jack Dongarra. Solving Linear Diophantine Systems on Parallel Architectures, IEEE Transactions on Parallel and Distributed Systems, 30(5), 2019, 1158-1169. DOI: 10.1109/TPDS.2018.2873354

Dmitry A. Zaitsev, Strong Sleptsov nets are Turing complete, Information Sciences, Vol. 621, 2023, 172-182.

Zaitsev D.A. Sequential composition of linear systems' clans, Information Sciences, Vol. 363, 2016, 292-307.

Journals indexed in JCR/WoS and Scopus

Dmitry A. Zaitsev, Tatiana R. Shmeleva, and Vicente Matellán Olivera, Fast Local Rules Based Switching and Routing Within Multidimensional Torus Interconnect, Parallel Processing Letters, Online: Jan 15, 2024.

Bernard Berthomieu, Dmitry A. Zaitsev, Sleptsov Nets are Turing-complete, Theoretical Computer Science, Volume 986, 2024, 114346, ISSN 0304-3975.

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Zeyu Zhou & Ding Liu, Verification of cryptocurrency consensus protocols: reenterable colored Petri net model design, International Journal of Parallel, Emergent and Distributed Systems, 39:1, 2024, 32-50.

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Qing Zhang, and Hongfei Zhao, Virtual Machine and Integrated Developer Environment for Sleptsov Net Computing Parallel Processing Letters, Vol. 33, No. 03, 2350006 (2023).

Birgit Pröll, Werner Retschitzegger, Wieland Schwinger, Tatiana R. Shmeleva & Dmitry A. Zaitsev, Modelling proof-of-work agreement protocol by coloured Petri nets, International Journal of Parallel, Emergent and Distributed Systems, 37(6), 2022, 597-612.

Genaro J. Martinez, Andrew Adamatzky, Ricardo Q. Figueroa, Eric Schweikardt, Dmitry A. Zaitsev, Ivan Zelinka and Luz N. Oliva-Moreno. Computing with Modular Robots, IInternational Journal of Unconventional Computing, 17(1-2) (2022) 31-60.

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, Tatiana R. Shmeleva & Piotr Luszczek, Aggregation of clans to speed-up solving linear systems on parallel architectures, International Journal of Parallel, Emergent and Distributed Systems, 37(2), 2022, 198-219.

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.

D.A. Zaitsev, Z.W. Li. On simulating Turing machines with inhibitor Petri nets, IEEJ Transactions on Electrical and Electronic Engineering, 13(1), 2018, 147-156.

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. Universal Sleptsov Net, International Journal of Computer Mathematics, 94(12) 2017, 2396-2408.

Zaitsev D.A. A generalized neighborhood for cellular automata, Theoretical Computer Science, 666 (2017), 21-35.

D. A. Zaitsev , T. R. Shmeleva, W. Retschitzegger, B. Pröll Security of grid structures under disguised traffic attacks, Cluster Computing, 19(3) 2016, 1183-1200.

Zaitsev D.A., Jürjens J. Programming in the Sleptsov net language for systems control, Advances in Mechanical Engineering, 2016, Vol. 8(4), 1-11.

Zaitsev D.A. Sleptsov Nets Run Fast, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2016, Vol. 46, No. 5, 682 - 693.

Zaitsev D.A. Paradigm of Computations on the Petri Nets, Automation and Remote Control, 2014, Vol. 75, No. 8, 1369–1383.

Zaitsev D.A. Toward the Minimal Universal Petri Net, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014, Vol. 44, No. 1, 47-58.

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. Inhibitor Petri Net Executing an Arbitrary Given Markov Normal Algorithm, Automatic Control and Computer Sciences, 2012, Vol. 46, No. 7, pp. 345-355.

Zaitsev D.A. Universal Petri net, Cybernetics and Systems Analysis, Volume 48, Number 4 (2012), 498-511.

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.

Zaitsev D.A. Compositional analysis of Petri nets, Cybernetics and Systems Analysis, Volume 42, Number 1 (2006), 126-136.

Zaitsev D.A. Decomposition of Petri Nets, Cybernetics and Systems Analysis, Volume 40, Number 5 (2004), 739-746.

Zaitsev D.A. Invariants of Timed Petri Nets, Cybernetics and Systems Analysis, Volume 40, Number 2 (2004), 226-237.

Zaitsev D.A. Switched LAN simulation by colored Petri nets, Mathematics and Computers in Simulation, Volume 65, Issue 3, 22 April 2004, 245-249.

Zaitsev D.A., Sarbei V.G., Sleptsov A.I., Synthesis of continuous-valued logic functions defined in tabular form, Cybernetics and Systems Analysis, Volume 34, Number 2 (1998), 190-195.

Zaitsev D.A., Sleptsov A.I. State equations and equivalent transformations for timed Petri nets, Cybernetics and Systems Analysis, Volume 33, Number 5 (1997), 659-672.

Editorial papers in journals indexed in JCR/WoS and Scopus

Dmitry Zaitsev (2023) Sleptsov Net Computing resolves problems of modern supercomputing revealed by Jack Dongarra in his Turing Award talk in November 2022, International Journal of Parallel, Emergent and Distributed Systems , 38(4) 2023, 275-279

Dmitry A. Zaitsev & David E. Probert (2021) Preface for special issue Petri/Sleptsov net based technology of programming for parallel, emergent and distributed systems, International Journal of Parallel, Emergent and Distributed Systems, 36:6, 495-497.

Conference papers indexed in WoS and Scopus

D. A. Zaitsev, T. R. Shmeleva and S. Gizurarson, "Reenterable colored Petri net model of Ebola virus dynamics," 2023 IEEE International Conference on Machine Learning and Applied Network Technologies (ICMLANT), San Salvador, El Salvador, 2023, pp. 1-6.

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.

Dmitry A. Zaitsev, Peyman Ghaffari, Virginia Sanz Sanchez. Modeling Ebola Virus Dynamics by Colored Petri Nets, IOS Press, Frontiers in Artificial Intelligence and Applications, Volume 345: Proceedings of CECNet 2021, 707 – 715.

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.

D. Zaitsev, S. Tymchenko and N. Shtefan, "Switching vs Routing within Multidimensional Torus Interconnect," 2020 IEEE International Conference on Problems of Infocommunications. Science and Technology (PIC S&T), 2020, pp. 647-652, doi: 10.1109/PICST51311.2020.9468041.

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.

Dmitry Zaitsev, Piotr Luszczek, Docker Container based PaaS Cloud Computing Comprehensive Benchmarks using LAPACK, CEUR Workshop Proceedings, vol. 2608: Proceedings of The Third International Workshop on Computer Modeling and Intelligent Systems (CMIS-2020) Zaporizhzhia, Ukraine, April 27-May 1, 2020, pp. 323-337.

Dmitry Zaitsev, Tatiana Shmeleva, and Alexander Kostikov, Clans Aggregation for Verification of Networking Protocols on Parallel Architectures, 2019 IEEE International Scientific-Practical Conference Problems of Infocommunications, Science and Technology (PIC S&T), Kyiv, Ukraine, 8-11 Oct. 2019. DOI: 10.1109/PICST47496.2019.9061392

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Anatoly I. Sleptsov: 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 - Invited paper

Zaitsev D.A. A Toolbox for Fuzzy Logic Functions Synthesis on a Choice Table, Eurosis: 15th Industrial Simulation Conference, May 31 - June 1, 2017, Polish Academy of Science, Warsaw, pp. 11-16.

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.

Zaitsev D.A., Shmeleva T.R., Retschitzegger W. and Proll B. Blocking Communication Grid via Ill-Intentioned Traffic, 14th Middle Eastern Simulation & Modelling Multiconference, February 3-5, 2014, Muscat, Oman, pp.63-71.

Zaitsev D.A., Shmeleva T.R. Parametric Petri Net Model for Ethernet Performance and Qos Evaluation , Proc. of 16th Workshop on Algorithms and Tools for Petri Nets, September 25-26, 2009, University of Karlsruhe, Germany, p. 15-28.

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., Sakun A.L. An Evaluation of MPLS Efficacy using Colored Petri Net Models , Proc. of of International Middle Eastern Multiconference on Simulation and Modelling (MESM'2008), Amman (Jordan), August 26-28, 2008, p. 31-36.

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.

Zaitsev D.A., Shmeleva T.R. Switched Ethernet Response Time Evaluation via Colored Petri Net Model , Proc. of International Middle Eastern Multiconference on Simulation and Modelling, August 28-30, 2006. - Alexandria (Egypt). - 2006. - P. 68-77.

Zaitsev D.A. Enterprise Petri net based CAM software Opera-Topaz, Proc. of 3rd International Industrial Simulation Conference 2005 (ISC 2005), June 9-11, 2005 - IPK Fraunhofer Institute, Berlin, Germany, pp. 124-128.

Zaitsev D.A. Switched LAN simulation by colored Petri nets , Proceedings of European Simulation and Modelling Conference, Naples, Italy, October 27-29, 2003, p. 485-489.

Other publications in English

Bernard Berthomieu, Dmitry A. Zaitsev, Sleptsov Nets are Turing-complete, arXiv:2306.12440, Sat, 17 Jun 2023 12:05:45 UTC.

Zaitsev D.A. Speed-up Solving Linear Systems on Parallel Architectures via Aggregation of Clans, Proceedings of 15th International Conference "Linux Vacation / Eastern Europe" (LVEE 2019), Minsk, Belarus, August 22-25, 2019, p. 58-65.

Zaitsev D.A. Model: DoubleExponent. In: Complete Results for the 2018 Edition of the Model Checking Contest (MCC'2018), Ed.: F. Kordon et al, June 2018.

Zaitsev D.A. Some Remarks on Petri Net Computers: Weak, Exact, and Strong. , Petri Net Newsletter, Volume 85, December 2016, 3-7.

Zaitsev D.A. k-neighborhood for Cellular Automata. arXiv:1605.08870

Zaitsev D.A. Square array A(n,r), the number of neighbors at a sharp Manhattan distance r in a finite n-hypercube lattice, read by upwards antidiagonals; A(n,r) = Sum_{k=0..min(n,r)} binomial(r-1,k-1)*binomial(n,k)* 2^k. The On-Line Encyclopedia of Integer Sequences, A266213, Dec 24 2015.

Zaitsev D.A. Triangle read by rows: T(n,k) = number of neighbors in n-dimensional lattice for generalized neighborhood given with parameter k. The On-Line Encyclopedia of Integer Sequences, A265014, Nov 30 2015.

Zaitsev D.A. Simulating Cellular Automata by Infinite Synchronous Petri Nets. 21st annual international workshop on cellular automata and discrete complex systems (AUTOMATA 2015), June 8-10, Turku, Finland, TUCS Lecture Notes, no. 24, June 2015, pp. 91-100.

Zaitsev D.A. Generators of Petri Net Models. Computer Communication & Collaboration, Vol. 2, Issue 2, 2014, 12-25.

Zaitsev D.A. Small Polynomial Time Universal Petri Nets. arXiv:1309.7288

Zaitsev D.A. A Small Universal Petri Net. In Turlough Neary and Matthew Cook: Proceedings Machines, Computations and Universality 2013 (MCU 2013), Zurich, Switzerland, 9/09/2013 - 11/09/2013, Electronic Proceedings in Theoretical Computer Science 128, pp. 190–202. doi: 10.4204/EPTCS.128.22

Zaitsev D.A. Petri Net Paradigm of Computation // Book of abstracts of the International scientific conference on Computer Algebra and Information Technology, Odessa: ONU, August 20-26, 2012, p. 107-114.

Zaitsev D.A. Verification of Grid Structures with Specific Edge Conditions // Third Workshop "Program Semantics, Specification and Verification: Theory and Applications", Nizhni Novgorod, Russia, July 1-2, 2012, p. 111-120.

Zaitsev D.A., Kharsun M.A. Implementing Stack E6 via OS Linux Sockets, Journal of Advanced Computer Science and Technology, 1 (3) (2012) 116-133.

Zaitsev D.A., Bolshakov S.I. E6 Addressing Scheme and Network Architecture, Journal of Advanced Computer Science and Technology, 1 (1) (2012) 18-31.

Zaitsev D.A., Shmeleva T.R. A Parametric Colored Petri Net Model of a Switched Network, Int. J. Communications, Network and System Sciences, 2011, 4, 65-76. DOI: 10.4236/ijcns.2011.41008

Zaitsev D.A., Guliaiev K.D. Stack E6 and its Implementation within Linux Kernel, Journal of Software Engineering and Applications, 2011, 4, 379-387. DOI: 10.4236/jsea.2011.46043

Zaitsev D.A. Complexity of Universal Inhibitor Petri Net // Proc. of the 18th German Workshop on Algorithms and Tools for Petri Nets , Hagen, Germany, September 29-30, 2011, p. 62-71.

Zaitsev D.A. Inhibitor Petri Net Executes Normal Algorithm of Markov // 6th International Computer Science Symposium in Russia (CSR-2011), 2nd Workshop "Program Semantics, Specification and Verification", St. Petersburg, Russia, June 12-13, 2011, p. 128-135.

Zaitsev D.A. Constructing Universal Petri Net, Petri Net Newsletter, Vol. 78, October 2010, p. 13-19.

Zaitsev D.A. Universal Inhibitor Petri Net // Proc. of the 17th German Workshop on Algorithms and Tools for Petri Nets, Cottbus, Germany, October 07-08, 2010, p. 1-15.

Vorobiyenko P.P., Guliaiev K.D., Zaitsev D.A., Shmeleva T.R. PBB Efficiency Evaluation via Colored Petri Net Models, Communications and Network, 2010, 2, 113-124. DOI: 10.4236/cn.2010.22018

Guliaiev K.D., Zaitsev D.A. Simulating E6 Networks Dynamic Routing // 9th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-9), September 17-18, 2009, Eger (Hungary).

Zaitsev D.A. Solving Linear Systems via Composition of their Clans, Intelligent Information Management, 2009, 1, 73-80, DOI: 10.4236/iim.2009.12012

Shmeleva T.R., Zaitsev D.A., Zaitsev I.D. Analysis of Square Communication Grids via Infinite Petri Nets // Transactions of Odessa National Academy of Telecommunication, no. 1, 2009, p. 27-35.

Guliaiev K.D., Zaitsev D.A., Litvin D.A., Radchenko E.V. Simulating E6 Protocol Networks using CPN Tools .- Proc. of International Conference on IT Promotion in Asia, August 22-26, 2008, Tashkent (Uzbekistan), P. 203-208.

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.

Bereznyuk M.V., Gupta K.K., Zaitsev D.A. Effectiveness of Bluetooth Address Space Usage // Proceedings of 20th International Conference, Software & Systems Engineering and their Applications (ICSSEA 2007), Paris 4-6 December 2007.

Zaitsev D.A. Functional Petri Nets , Universite Paris-Dauphine, Cahier du Lamsade 224 Avril 2005, 62p.

Zaitsev D.A. Verification of Protocol BGP via Decomposition of Petri Net Model into Functional Subnets // Proceedings of the Design, Analysis, and Simulation of Distributed Systems Symposium, April 2-8, 2005, San Diego, USA, p. 72-78.

Zaitsev D.A. An Evaluation of Network Response Time using a Coloured Petri Net Model of Switched LAN // Proceedings of Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, October 8-11, 2004, Aarhus, Denmark, p. 157-167.

Zaitsev D.A. Verification of protocol TCP via decomposition of Petri net model into functional subnets // Proceedings of the Poster session of 12th Annual Meeting of the IEEE / ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, October 5-7, 2004, Volendam, Netherlands, p. 73-75.

Zaitsev D.A. Solving the fundamental equation of Petri net using the decomposition into functional subnets // 11th Workshop on Algorithms and Tools for Petri Nets, September 30 - October 1, 2004, University of Paderborn, Germany, p. 75-81.

Zaitsev D.A. Decomposition-based calculation of Petri net invariants // Proceedings of Workshop on Token based computing of the 25-th International conference on application and theory of Petri nets, Bologna, Italy, June 21-25, 2004, p. 79-83.

Zaitsev D.A. Formal grounding of Toudic method // Proceedings of the 10th Workshop "Algorithms and Tools for Petri Nets".- Eichstaett, Germany, September 26-27, 2003, p. 184-190.

Zaitsev D.A. Subnets with input and output places // Petri Net Newsletter, Vol. 64, April 2003, p. 3-6, Cover Picture Story.

Local journals and conferences

Zaitsev D.A. Computations on Sleptsov nets. System informatics, 2017, no. 9, С. 42-62.

Zaitsev D.A. Paradigm of Computations on Petri Nets, Avtomatika i Telemekhanika, No. 8, 2014, p. 19-36. In Rus.

Zaitsev D.A., Shmeleva T.R., Retschitzegger W. and Proll B. Evaluation of Ill-Intentioned Traffic Influence on Opearability of Computing Grids, Raditekhnika: All-Ukr. Sci. Interdep. Mag., 2014, Issue 176. - С. 164-171. In Russ.

Zaitsev D.A., Zaitsev I.D., Shmeleva T.R. Infinite Petri Nets with Regular Structure. Reports of Odessa seminar in discrete mathematics / chairman of seminar A.A.Zykov, Odessa: Ecology, 2013, Issue 14, p. 4-27. In Russ.

Zaitsev D.A., Kharsun M.A., Bolshakov S.I. Software Implementation of Stack E6 via Sockets of OS Linux Kernel, Zviazok (Communications), vol. 102, 2(2013), p. 37-49. In Russ.

Zaitsev D.A. Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets, Modeling and Analysis of Information Systems, vol. 19, 6(2012), 21-33. In Rus.

Dmitro A. Zaitsev, Zhi Wu Li, Liang Hong, Universal Unfolding Petri Net, Informatics and Mathematical Methods in Simulation, Vol.2 (2012), No. 2, pp. 180-192. In Ukr.

Zaitsev D.A., Li Z.W., Litvin D.A., Hou Y.F. Calculating Petri Net Siphons via Composition of Clans, Proceedings of International Humanitarian University: series IT&PM, vol. 4, 2012, pp. 32-44. In Ukr.

Zaitsev D.A. Inhibitor Petri Net that Executes an Arbitrary Given Turing Machine // Systems Research and Information Technologies — 2012. — no. 2. — P. 26–41. In Russ.

Zaitsev D.A. Generators of Petri Nets // Transactions of International Humanitarian University, Issue 16, 2012, p. 325-332. In Russ.

Zaitsev D.A. Inhibitor Petri Net that Executes an Arbitrary Given Markov Normal Algorithm // Modeling and Analysis of Information Systems, 18, 4 (2011) 80-93. In Russ.

Zaitsev D.A. Constructing Petri Net which executes Turing Machine // Proc. of IV International Conference „Computer Mathematics in Science, Engineering and Education”, CMSEE-2010, Poltava (Ukraine), October 1-31, 2010, Kiev: NAS Ukraine Press, P.12-14. In Russ.

Zaitsev D.A. Constructing Universal Petri Net // Computer technology, information security and design: Proc. of VI report scientific-practical conference of the faculty and students, International Humanitarian University, Odessa (Ukraine), May 14-16, 2010, p. 27-32. Transl. from Russ.

Vorobiyenko P.P., Guliaiev K.D., Zaitsev D.A. Joint Operation of Protocols Stack E6 among other Networking Technologies // Zviazok (Communications), 2010, Vol. 89, no. 1. - P. 29-32. In Russ.

Vorobiyenko P.P., Guliaiev K.D., Zaitsev D.A., Shmeleva T.R. Efficiency Evaluation of PBB Technology using Colored Petri Nets // Zviazok (Communications), 2009, Vol. 88, no. 4. - P. 39-46. In Russ.

Guliaiev K.D., Zaitsev D.A. Dynamic Routing within E6 Networks // Raditekhnika: All-Ukr. Sci. Interdep. Mag., 2009, Issue 159. - С. 294-301. In Russ.

Report on scientific-research work "New World-wide Networks Addressing Systems Development", state register number 0108U008900 / D.A. Zaitsev, T.R. Shmeleva, K.D. Guliaiev // Odessa: ONAT, 2009.– 124 p. In Ukr. Models&Software

Guliaiev K.D., Zaitsev D.A. Experimental Implementation of Networking Protocols Stack E6 into OS Linux Kernel // Artificial Intelligence, no. 2, 2009, p. 105-116. In Russ.

Vorobiyenko P.P., Zaitsev D.A., Guliaiev K.D. Way of data transmission in network with substitution of network and transport layers by universal technology of channel layer .- Patent on utility model no. 35773, Registered in State Register of Ukraine Patents for Inventions 10.10.2008. In Ukrainian.

Vorobiyenko P.P., Zaitsev D.A., Nechiporuk O.L. World-wide network Ethernet? // Zviazok (Communications), no. 5, 2007. - p. 14-19. In Russ.

Zaitsev D.A., Shmeleva T.R. Evaluation of Ethernet networks characteristics using parametric Petri nets // Zviazok (Communications), no. 4, 2007. - p. 62-67. In Russ.

Zaitsev D.A., Litvin D.A. Performance evaluation of label switching networks with simulation system ns // Transactions of Odessa National Academy of Telecommunication, no. 1, 2007. - p. 25-31. In Russ.

Zaitsev D.A., Shinkarchuk T.N. Modeling telecommunication networks with system ns // Transactions of Odessa National Academy of Telecommunication, no. 2, 2006. - p. 35-43. In Russ.

Zaitsev D.A. Methods of analysis and synthesis of telecommunication systems models based on functional Petri nets. Doctor of science thesis. (Thesis / Abstract) // Odessa, Odessa National Academy of Telecommunication, 2006.

Zaitsev D.A., Sakun A.L. Studying the efficacy of MPLS technology via Colored Petri nets // Zviazok (Communications), 2006, Vol. 65, no. 5. - P. 49-55. In Russ.

Zaitsev D.A. Verification of protocol TCP in the process of sequential composition of Petri net models // Zviazok (Communications), 2006, Vol. 64, no. 4. - P. 49-58. In Russ.

Zaitsev D.A. On realization of compositional algorithms of linear systems solution // Control systems and machines. - 2006, no. 3. - P. 32-41. In Russ.

Zaitsev D.A. Sequential composition of linear systems' clans // Systems Research and Information Technologies, 2006, no. 2. - P. 121-137. In Russ.

Zaitsev D.A., Bereznyuk M.V. Studying the efficacy of protocol Bluetooth address space utilization // Radioelectronics. Informatics. Control. 2006, no. 1. - P. 57-63. In Russ.

Zaitsev D.A., Chornogala E.Y. Synthesis of Petri net model and verification of electronic commerce protocol IOTP // Raditekhnika: All-Ukr. Sci. Interdep. Mag., 2006, Issue 144. - С. 28-35. In Russ.

Zaitsev D.A. Transmission function of Petri net // Artificial Intelligence, 2006, no. 1, p. 23-30. In Russ.

Zaitsev D.A. Sequential composition of telecommunication protocols Petri net models // Zviazok (Communications), 2006, no. 1 (61), p. 45-50. In Russ.

Zaitsev D.A. Synthesis of telecommunication protocols Petri net models // Transactions of Odessa National Academy of Telecommunication, 2005, no. 2, p. 36-42. In Russ.

Zaitsev D.A., Shmeleva T.R. Principes of parametric Petri net models construction for switched networks // Simulation and Computer Graphics: Proceedings of 1-st International Scientific-Technic Conference, October 4-7 2005, Donetsk, DonNTU, 2005, p.207-215. In Russ.

Zaitsev D.A., Shmeleva T.R. A measurement of characteristics for a single-level switched network using parametric Petri net model // Raditekhnika: All-Ukr. Sci. Interdep. Mag. 2005, no. 142, p. 40-47. In Russ.

Zaitsev D.A., Shmeleva T.R. Parametric Petri net model of single-level switched network // Transactions of Odessa National Academy of Telecommunication, no. 1, 2005, p. 33-40. In Russ.

Zaitsev D.A. Software for decomposition of bipartite directed graphs // Transactions of Donetsk National Technical University, series "Informatics, Cybernetics and Computer Science", Vol. 93, 2005, p. 60-70. In Russ.

Zaitsev D.A. Solving linear systems using decomposition // Systems Research and Information Technologies, 2005, no. 2, 2005, p. 131-143. In Russ.

Zaitsev D.A. The measuring fragments in Petri net models of telecommunication networks // Zviazok (Communications), no. 2(54), 2005, p. 65-71. In Russ.

Zaitsev D.A. Verification of telecommunication protocols using decomposition of Petri nets // Zviazok (Communications), no. 1(53), 2005, p. 41-47. In Russ.

Zaitsev D.A. Solving the fundamental equation of Petri net in the process of composition of functional subnets // Artificial Intelligence, no. 1, 2005, p. 59-68. In Russ.

Zaitsev D.A. Stepwise composition of functional subnets // Transactions of Odessa National Academy of Telecommunication, no. 3, 2004, p. 33-40. In Russ.

Zaitsev D.A. Speed-up of solution of linear systems with the aid of decomposition into clans // Artificial Intelligence. Intelligent and multiprocessor systems-2004, Proceedings of international conference, Vol. 1, Taganrog, TRTU, 2004, p. 259-264. In Russ.

Zaitsev D.A., Shmeleva T.R. Modelling of switched networks with colored Petri nets // Zviazok (Communications), no. 2(46), 2004, p. 56-60. In Russ.

Zaitsev D.A. Invariance of TCP protocol Petri net model // Transactions of Odessa National Academy of Telecommunication, no. 2, 2004, p. 19-27. In Russ.

Zaitsev D.A. On question of calculation complexity of Toudic's method // Artificial Intelligence, no. 1, 2004, p. 29-37. In Russ.

Zaitsev D.A. Theoretical grounding of Toudic's method // Transactions of Donetsk National Technical University, series "Informatics, Cybernetics and Computer Science", Vol. 74, 2004, p. 286-293. In Russ.

Zaitsev D.A. Decomposition of protocol ECMA // Raditekhnika: All-Ukr. Sci. Interdep. Mag. 2004, no. 138, p. 75-82. In Russ.

Zaitsev D.A. Verification of Ethernet protocols // Transactions of Odessa National Academy of Telecommunication, no. 1, 2004, p. 42-48. In Russ.

Zaitsev D.A. Invariants of functional subnets // Transactions of Odessa National Academy of Telecommunication, no. 4, 2003, p. 57-63. In Russ.

Zaitsev D.A., Shaldyrvan G.G. Technology of computer training systems development // Proceedings of regional scientific - methodical conference, Donetsk, DonGTU, 1994, p.243-245. In Russ.

Sleptsov A.I., Zaitsev D.A. Industrial-training software system of operative network planning and management "Opera" // Proceedings of the fourteenth scientific - methodical conferences, Donetsk, DPI, 1992, p.87. In Russ.

Sleptsov A.I., Zaitsev D.A. Software system for operative network planning and managements "Opera" // Integration of CAM and training devices: Proceedings of All-Union scientific and technical conference - Moscow, 1991, p.53-54. In Russ.

Zaitsev D.A. Solving operative management tasks of a discrete manufacture via Petri net models. PhD thesis. (Thesis / Abstract) // Kiev, the Academy of sciences of Ukraine, Institute of Cybernetics name of V.M.Glushkov, 1991. In Russ.

Sleptsov A.I., Zaitsev D.A., Telnoj V.A. Automated working place of dispather in machine-building enterprise // Software for decision of Optimum planning tasks: Proceedings of Eleventh All-Union Symposium - Moscow, 1990, p.170-171. In Russ.

Sleptsov A.I., Zaitsev D.A., Milanin A.A. Graphic system of modelling in integrated control system of discrete manufacture // Mathematical and simulation modelling in systems of planning and management: Proceedings of All-Union conference - Chernigov, 1990, p.154-155. In Russ.

Sleptsov A.I., Zaitsev D.A., Milanin A.A. Graphic system of discrete processes modelling // Mathematical maintenance of systems with computer graphics: Proceedings of the seventh scientific and technical seminar - Tyumen, 1990, p.32. In Russ.

Sleptsov A.I., Zaitsev D.A. Computer graphics in system of operative managements in instrument-making enterprise // Mathematical maintenance of systems with computer graphics: Proceedings of the seventh scientific and technical a seminar - Tyumen, 1990, p.33. In Russ.

Zaitsev D.A., Sleptsov A.I. Visualization of production processes in tool system of dispatcher in machine-building enterprise, Avtometriya, no. 4, 1990, p.90-93.

Sleptsov A.I., Zaitsev D.A. Computer graphics in system of operational planning and scheduling in instrument-making enterprise // Computer graphics - 89: Proceedings of the fifth All-Union conference, Novosibirsk, 1989, p.157. In Russ.

Sleptsov A.I., Zaitsev D.A. R-technology of modelling for parallel structures and processes // Program-methodical and program-technical complexes CAD and CAM: Proceedings of Sci-technical conference. - Izhevsk, 1988, pp.62-63. In Russ.

Textbooks

Zaitsev D.A., Doroshuk A.V. Summary of lectures on course Networking Operating Systems // Odessa: ONAT, 2007. - 68 p. In Russ.

Voronoy S.M., Zaitsev D.A., Shmeleva T.R. Tracing of networking operating systems processes: textbook for laboratory training // Donetsk: IAIP, 2007. - 67 p. In Russ.

Zaitsev D.A. Summary of lectures on course Networking Technology // Odessa: ONAT, 2007. - 55 p. In Russ.

Zaitsev D.A., Shmeleva T.R., Shnayder S.P. Textbook on course Networking Technology: for laboratory training // Odessa: ONAT, - 54 p. In Russ.

Zaitsev D.A. Petri Nets and Modelling of Systems: textbook for laboratory training // Odessa: ONAT, 2007. - 42 p. In Ukr.

Zaitsev D.A., Shmeleva T.R. Simulating Telecommunication Systems with CPN Tools: Students' book // Odessa: ONAT, 2006. - 60 p. - English, French, Russian, Arabic.

Mathematical Basics of Telecommunications Theory / Editor: V.V. Popovsky, Kharkov: TOV "Company SMIT", 2006. - 564 p. (authors: V.V. Popovsky, S.O. Saburova, V.F. Oleynik, Y.I. Losev, D.V. Ageev, T.G. Kalekina, A.V. Lemeshko, D.A. Zaitsev, O.Y. Evseeva, Y.Y. Kolyadenko, I.V. Strelkovskaya, L.O. Titarenko) In Ukr.

Zaitsev D.A. Mathematical models of discrete systems: Textbook // Odessa: ONTA, 2004, 40p. In Ukr.

Zaitsev D.A. Summary of lectures on course Basis of Discrete Mathematics. Part I: Graph Theory // Donetsk: DonGTU, 1994, 35p. In Russ.

Zaitsev D.A. Summary of lectures on course Basis of Discrete Mathematics. Part II: Algebraic structures // Donetsk: DonGTU, 1994, 35p. In Russ.

Sleptsov A.I., Grigoryev A.V., Zaitsev D.A. Methodical instructions to Course's Project on course Operating Systems // Donetsk, DonGTU, 1994, 29p. In Russ.

Sleptsov A.I., Grigoryev A.V., Zaitsev D.A. Methodical instructions on course Theory of Operating Systems // Donetsk, DonGTU, 1994, 31p. In Russ.

Sleptsov A.I., Zaitsev D.A. Methodical materials to software system of operative network planning and management "Opera" // Donetsk, DPI, 1991, 68p. In Russ.

Sleptsov A.I., Zaitsev D.A., Milanin A.A. Methodical materials to software system for modelling of discrete parallel processes, embeddings in the automated systems and training of experts // Donetsk, DPI, 1991, 59p. In Russ.

Notes:

• Old papers with quations and graphics are prepared in the text editor ChiWriter 3.15 with additional elements of fonts and special macroses.
• Text only papers are prepared in the text editor Lexicon. The symbols coding of MS-DOS is kept as the pseudo graphics code conversion results the inadequate symbols representation. To see texts it is possible, for example, with the help environments Far .