Дмитрий А. Зайцев Dmitry A. Zaitsev

Публикации (аннотации): научные , учебно-методические , презентации

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

Монографии

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

Главы в книгах

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.

Издания индексированные в JCR/WoS и 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.

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.

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).

Dmitry A. Zaitsev, Strong Sleptsov Nets are Turing Complete, Information Sciences, 2022.

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

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.

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.

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.

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 (2021) Aggregation of clans to speed-up solving linear systems on parallel architectures, International Journal of Parallel, Emergent and Distributed Systems, DOI: 10.1080/17445760.2021.2004412

Dmitry A. Zaitsev & MengChu Zhou (2021) From strong to exact Petri net computers, International Journal of Parallel, Emergent and Distributed Systems, 08 Nov 2021, DOI: 10.1080/17445760.2021.1991340

Dmitry A. Zaitsev, Tatiana R. Shmeleva & Birgit Proll (2021) Spatial specification of hypertorus interconnect by infinite and reenterable coloured Petri nets, International Journal of Parallel, Emergent and Distributed Systems, 20 Jul 2021, DOI: 10.1080/17445760.2021.1952580

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 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. DOI: 10.1109/JAS.2019.1911486

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, 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. 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. Online 23 August 2017, DOI: 10.1002/tee.22508

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. DOI: 10.25088/ComplexSystems.26.2.341

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. DOI: 10.25088/ComplexSystems.26.2.157

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. Universal Sleptsov Net, International Journal of Computer Mathematics. 94(12) 2017, 2396-2408. Online 20 Jan 2017, DOI: 10.1080/00207160.2017.1283410

Zaitsev D.A. A generalized neighborhood for cellular automata, Theoretical Computer Science, 666 (2017), 21-35, DOI: 10.1016/j.tcs.2016.11.002

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. Online 17 June 2016. DOI: 10.1007/s10586-016-0582-9

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. DOI: 10.1177/1687814016640159

Zaitsev D.A. Sequential composition of linear systems' clans, Information Sciences, Vol. 363, 292-307. Online 12 February 2016, DOI: 10.1016/j.ins.2016.02.016

Zaitsev D.A. Sleptsov Nets Run Fast, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2016, Vol. 46, No. 5, 682 - 693, epub: 01 July 2015 , DOI: 10.1109/TSMC.2015.2444414

Зайцев Д.А. Парадигма вычислений на сетях Петри, Автоматика и телемеханика, № 8, 2014, с. 19-36.

Zaitsev D.A. Toward the Minimal Universal Petri Net, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014, Vol. 44, No. 1, 47-58, epub: 15 February 2013, DOI: 10.1109/TSMC.2012.2237549

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. DOI: 10.3103/S0146411613070262

Зайцев Д.А. Универсальная сеть Петри, Кибернетика и системный анализ, № 4, 2012, с. 24–39, DOI: 10.1007/s10559-012-9429-4

Зайцев Д.А., Шмелева Т.Р. Верификация коммуникационных структур гиперкуба параметрическими сетями Петри, Кибернетика и системный анализ, №1, 2010, С. 119-128, DOI: 10.1007/s10559-006-0044-0

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., 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., 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. 261-267.

Зайцев Д.А. Композиционный анализ сетей Петри , Кибернетика и системный анализ. - 2006, № 1. - С. 143-154.

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.

Зайцев Д.А. Декомпозиция сетей Петри , Кибернетика и системный анализ, №5, 2004, с. 131-140.

Зайцев Д.А. Инварианты временных сетей Петри , Кибернетика и системный анализ, Том 40, № 2, 2004, с. 92-106.

Zaitsev D.A. Switched LAN simulation by colored Petri nets, Mathematics and Computers in Simulation, Volume 65, Issue 3, 22 April 2004, 245–249, DOI: 10.1016/j.matcom.2003.12.004

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.

Зайцев Д.А., Сарбей В.Г., Слепцов А.И. Синтез функций непрерывной логики заданных таблично , Кибернетика и системный анализ, № 2, 1998, с. 47-56.

Зайцев Д.А., Слепцов А.И. Уравнение состояний и эквивалентные преобразования временных сетей Петри , Кибернетика и системный анализ, № 5, 1997, с. 59-76.

Другие публикации на английском

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. 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. 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., 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. 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. 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., 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. 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 // Proceedings 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. 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, c. 72-78.

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

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, c. 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.

Отечественные журналы и конференции

Зайцев Д.А. Вычисления на сетях Слепцова. Системная информатика, 2017, № 9, С. 42-62.

Д.А. Зайцев, Т.Р. Шмелёва, В. Ретчитзеггер, Б. Пролл, Оценка влияния злонамеренного трафика на функционирование вычислительных решеток. Радиотехника, 2014, Вып. 176, С. 164-171.

Зайцев Д.А., Зайцев И.Д., Шмелева Т.Р. Бесконечные сети Петри с регулярной структурой. Доклады Одесского семинара по дискретной математике / предс. семинара А.А.Зыков, Одесса: Экология, 2013, Вып. 14, с. 4-27.

Зайцев Д.А., Харсун М.А., Большаков С.И. Программная реализация стека Е6 через сокеты ядра ОС Linux, Зв'язок, № 2 (102), 2013, с. 37-49.

Зайцев Д.А. Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри, Моделирование и анализ информационных систем, том. 19, № 6, 2012, с. 21-33.

Д.А. Зайцев, Жі Ву Лі, Ліанг Хонг, Універсальна розгортаюча сіть Петрі, Інформатика та математичні методи в моделюванні, том. 2, № 2, 2012, с. 180-192.

Зайцев Д.А., Лі Ж.В., Літвін Д.О., Хоу І.Ф. Обчислення сифонів сітей Петрі через композицію кланів, Науковий вісник Міжнародного гуманітарного університету: серія ІТтаУП, вип. 4, 2012, с. 32-44.

Зайцев Д.А. Ингибиторная сеть Петри, исполняющая произвольную заданную машину Тьюринга // Системні дослідження та інформаційні технології. — 2012. — № 2. — С. 26–41.

Зайцев Д.А. Генераторы сетей Петри // Наукові записки Міжнародного гуманітарного університету, Вип. 16, 2012, с. 325-332.

Зайцев Д.А. Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова // Моделирование и анализ информационных систем, т. 18, № 4, 2011, с. 80-93.

Зайцев Д.А. Построение сети Петри исполняющей машину Тюринга // Материалы IV международной научно-технической конференции «Компьютерная математика в науке, инженерии и образовании» (CMSEE-2010), г. Полтава, 1-31 октября 2010 г. – Киев: Изд-во НАН Украины, 2010, С.12-14.

Зайцев Д.А. Построение универсальной сети Петри // Компьютерные технологии, информационная безопасность и дизайн: Материалы VІ отчетной научн.-практ. конф. проф.-преп. состава и студенчества Международного гуманитарного ун-та. – Одесса: МГУ, 14-16 мая 2010, С. 27-32.

Воробиенко П.П., Гуляев К.Д., Зайцев Д.А. Совместная работа стека протоколов Е6 с другими сетевыми технологиями // Зв’язок, 2010, № 1 (89), С. 29-32.

Воробиенко П.П., Гуляев К.Д., Зайцев Д.А., Шмелева Т.Р. Оценка эффективности технологии PBB с помощью раскрашенных сетей Петри // Зв'язок, 2009, № 4(88), С. 39-46.

Гуляев К.Д., Зайцев Д.А. Динамическая маршрутизация в Е6 сетях // Радиотехника, 2009, Вып. 159, С.294-301.

Звіт про науково-дослідну роботу «Розробка нових систем адресації глобальних мереж», номер держреєстрації 0108U008900 / Д.А. Зайцев, Т.Р. Шмельова, К.Д. Гуляєв // Одеса: ОНАЗ, 2009.– 124 с. Моделі та програми

Гуляев К.Д., Зайцев Д.А. Экспериментальная реализация стека сетевых протоколов Е6 в ядре ОС Linux // Искусственный интеллект, № 2, 2009, с. 105-116.

Воробiєнко П.П., Зайцев Д.А., Гуляєв К.Д. Спосiб передачi даних в мережi iз замiщенням мережного та транспортного рiвнiв унiверсальною технологiєю канального рiвня.- Патент на корисну модель № 35773, Зареєстровано в Державному реєстрi патентiв України на винаходи 10.10.2008.

Ворибиенко П.П., Зайцев Д.А., Нечипорук О.Л. Всемирная сеть Ethernet? // Зв'язок, № 5, 2007. - с. 14-19.

Зайцев Д.А., Шмелёва Т.Р. Оценка характеристик сетей Ethernet с помощью параметрических моделей Петри // Зв'язок, № 4, 2007. - с. 62-67.

Зайцев Д.А., Литвин Д.А. Оценка производительности сетей с коммутацией меток в моделирующей системе NS // Збiрник Наукових праць ОНАЗ iм. О.С. Попова, № 1, 2007. - с. 25-31.

Зайцев Д.А., Шинкарчук Т.Н. Моделирование телекоммуникационных сетей в системе NS // Збiрник Наукових праць ОНАЗ iм. О.С. Попова, № 2, 2006. - с. 35-43.

Зайцев Д.А. Методы анализа и синтеза моделей телекоммуникационных систем на основе функциональных сетей Петри. Диссертация на соискание ученой степени доктора технических наук. (Диссертация / Автореферат) // Одесса, Одесская национальная академия связи им. А.С. Попова, 2006.

Зайцев Д.А., Сакун А.Л. Исследование эффективности технологии MPLS с помощью раскрашенных сетей Петри // Зв'язок. - 2006, №5. - C. 49-55.

Зайцев Д.А. Верификация протокола TCP в процессе последовательной композиции модели Петри // Зв'язок. - 2006, Т. 64, №4. - С. 49-58.

Зайцев Д.А. О реализации композиционных алгоритмов решения систем линейных уравнений // Управляющие системы и машины. - 2006, №3. - С. 32-41.

Зайцев Д.А. Последовательная композиция кланов линейных систем // Системнi дослiдження та iнформацiйнi технологiї. - 2006, №2. - С. 121-137.

Зайцев Д.А., Березнюк М.В. Исследование эффективности использования адресного пространства протокола Bluetooth // Радиоэлектроника. Информатика. Управление. - 2006, №1. - C. 57-63.

Зайцев Д.А., Чорногала Е.Я. Синтез модели Петри и верификация протокола электронной коммерции IOTP // Радиотехника: Всеукр. межведомств. науч.-техн. сб. 2006, Вып. 144. - С. 28-35.

Зайцев Д.А. Передаточная функция сети Петри // Искусственный интеллект. - 2006, №1. - С. 23-30.

Зайцев Д.А. Последовательная композиция моделей Петри телекоммуникационных протоколов // Зв'язок. - 2006, Т. 61, №1. - С. 45-50.

Зайцев Д.А. Синтез моделей Петри телекоммуникационных протоколов // Труды Одесской национальной академии связи им. А.С.Попова. - 2005, №2. - С. 36-42.

Зайцев Д.А., Шмелёва Т.Р. Основы построения параметрических моделей Петри коммутируемых сетей // Моделирование и компьютерная графика: Материалы 1-й международной научно-технической конференции, 4-7 октября 2005, Донецк, ДонНТУ, 2005, с.207-215.

Зайцев Д.А., Шмелёва Т.Р. Измерение характеристик одноуровневой коммутируемой сети с помощью параметрической модели Петри // Радиотехника: Всеукр. межведомств. науч.-техн. сб. 2005, Вып. 142, c. 40-47.

Зайцев Д.А., Шмелёва Т.Р. Параметрическая модель Петри одноуровневой коммутируемой сети // Труды Одесской национальной академии связи им. А.С.Попова, № 1, 2005, с. 33-40.

Зайцев Д.А. Программное обеспечение для декомпозиции двудольных орграфов // Научные труды Донецкого государственного технического университета, серия "Информатика, кибернетика и вычислительная техника", Вып. 93, 2005, с. 60-70.

Зайцев Д.А. Решение линейных систем с помощью декомпозиции // Системнi дослiдження та iнформацiйнi технологiї, 2005, №2, с. 131-143.

Зайцев Д.А. Измерительные фрагменты в моделях Петри телекоммуникационных сетей // Зв'язок №2(54), 2005, с. 65-71.

Зайцев Д.А. Верификация телекоммуникационных протоколов с помощью декомпозиции сетей Петри // Зв'язок №1(53), 2005, с. 41-47.

Зайцев Д.А. Решение фундаментального уравнения сетей Петри в процессе композиции функциональных подсетей // Искусственный интеллект, № 1, 2005, с. 59-68.

Зайцев Д.А. Последовательная композиция функциональных подсетей // Труды Одесской национальной академии связи им. А.С.Попова, № 3, 2004, с. 33-40.

Зайцев Д.А. Ускорение решения линейных систем с помощью декомпозиции на кланы // Искусственный интеллект. Интеллектуальные и многопроцессорные системы-2004. Материалы международной научно-технической конференции. Т.1. Таганрог: Изд-во ТРТУ, 2004, с.259-264.

Зайцев Д.А., Шмелёва Т.Р. Моделирование коммутируемой локальной сети раскрашенными сетями Петри // Зв'язок, № 2(46), 2004, с. 56-60.

Зайцев Д.А. Инвариантность модели Петри протокола TCP // Труды Одесской национальной академии связи им. А.С.Попова, № 2, 2004, с. 19-27.

Зайцев Д.А. К вопросу о вычислительной сложности метода Тудика // Искусственный интеллект, № 1, 2004, с. 29-37.

Зайцев Д.А. Теоретическое обоснование метода Тудика // Научные труды Донецкого государственного технического университета, серия "Информатика, кибернетика и вычислительная техника", Вып. 74, 2004, с. 286-293.

Зайцев Д.А. Декомпозиция протокола ECMA // Радиотехника: Всеукр. межведомств. науч.-техн. сб. 2004, Вып. 138, c. 75-82.

Зайцев Д.А. Верификация протоколов Ethernet // Труды Одесской национальной академии связи им. А.С.Попова, № 1, 2004, с. 42-48.

Зайцев Д.А. Инварианты функциональных подсетей // Труды Одесской национальной академии связи им. А.С.Попова, № 4, 2003, с. 57-63.

Зайцев Д.А., Шалдырван Г.Г. Технология разработки компьютерных обучающих систем // Материалы региональной научно-методической конференции, Донецк, ДонГТУ, 1994, с.243-245.

Слепцов А.И., Зайцев Д.А. Учебно-производственная программная система оперативного сетевого планирования и управления "Опера" // Тезисы Докладов четырнадцатой научно-методической конференции - Донецк, ДПИ, 1992, с.8.

Слепцов А.И., Зайцев Д.А. Система оперативного сетевого планирования и управления "Опера" // Интеграция АСУТП и тренажерных устройств: Тезисы докладов Всесоюзной научно-технической конференции - Москва, 1991, с.53-54.

Зайцев Д.А. Решение задач оперативного управления дискретным производством  на сетевых моделях Петри. Диссертация на соискание ученой степени кандидата технических наук. (Диссертация / Автореферат) // Киев, Академия наук Украины, Институт кибернетики имени В.М.Глушкова, 1991.

Слепцов А.И., Зайцев Д.А., Тельной В.А. Автоматизированное рабочее место диспетчера машиностроительного предприятия // Системы Программного обеспечения решения задач оптимального планирования: Тезисы докладов Одиннадцатого Всесоюзного симпозиума - Москва, 1990, с.170-171.

Слепцов А.И., Зайцев Д.А., Миланин А.А. Графическая система моделирования в интегрированной системе управления дискретным производством // Математическое и имитационное моделирование в системах планирования и управления: Тезисы докладов Всесоюзной конференции - Чернигов, 1990, с.154-155.

Слепцов А.И., Зайцев Д.А., Миланин А.А. Графическая система моделирования дискретных процессов // Математическое обеспечение систем с машинной графикой: Тезисы докладов седьмого научно-технического семинара - Тюмень, 1990, с.32.

Слепцов А.И., Зайцев Д.А. Машинная графика в системе оперативного управления приборостроительным предприятием // Математическое обеспечениесистем с машинной графикой: Тезисы докладов седьмого научно-техническогосеминара - Тюмень, 1990, с.33.

Зайцев Д.А., Слепцов А.И. Визуализация производственных процессов в инструментальной системе диспетчера машиностроительного предприятия, Автометрия, 1990, № 4 - с.90-93.

Слепцов А.И., Зайцев Д.А. Машинная графика в системе оперативного планирования и дипетчирования приборостроительного предприятия // Машинная графика-89: Тезисы докладов пятой Всесоюзной конференции, Новосибирск, 1989, с.157.

Слепцов А.И., Зайцев Д.А. Р-технологии моделирования параллельных структур и процессов // Программно-методические и программно-технические комплексы САПР и АСТПП: Тез. докл. Начно-технической конференции. - Ижевск, 1988, с.62-63.

Учебно-методические публикации

Зайцев Д.А., Дорошук А.В. Конспект лекций по курсу Сетевые операционные системы: Для подготовки бакалавров и магистров по направлению "Телекоммуникации" // Одесса: ОНАС им. А.С. Попова, 2007. - 68 с.

Вороной С.М., Зайцев Д.А., Шмелёва Т.Р. Трассировка процессов функционирования сетевых операционных систем: Методические указания к практическим занятиям по курсу Операционные системы // Донецк: ИПИИ, 2007. - 42 с.

Зайцев Д.А. Конспект лекций по курсу "Сетевые технологии": Для подготовки бакалавров и магистров по направлению "Телекоммуникации" // Одесса: ОНАС им. А.С. Попова, 2007. - 55 с.

Зайцев Д.А., Шмелёва Т.Р. Шнайдер С.П. Методические указания к практическим занятиям и лабораторным работам по курсу "Сетевые технологии": Для подготовки бакалавров и магистров по направлению "Телекоммуникации" // Одесса: ОНАС им. А.С. Попова, 2007. - 54 с.

Зайцев Д.А. Сети Петри и моделирование систем: Методические указания к практическим занятиям и лабораторным работам для подготоаки магистров по направлению "Телекоммуникации" // Одеcса: ОНАC им. А.С. Попова, 2007. - 42 с. Укр. яз.

Zaitsev D.A., Shmeleva T.R. Simulating Telecomunication Systems with CPN Tools: Students' book // Odessa: ONAT, 2006. - 60 p. Русский, Английский, Французский, Арабский.

Математические основы теории телекоммуникационных систем / Под общей редакцией В.В. Поповского. - Харьков ТОВ "Компания СМИТ", 2006. - 564 с. (авторы: В.В. Поповский, С.О. Сабурова, В.Ф. Олейник, Ю.И. Лосев, Д.В. Агеев, Т.Г. Калекина, А.В. Лемешко, Д.А. Зайцев, О.Ю. Евсеева, Ю.Ю. Коляденко, И.В. Стрелковская, Л.О. Титаренко) Укр. яз.

Зайцев Д.А. Математические модели дискретных систем: Учебное пособие // Одесса: ОНАС им. А.С.Попова, 2004, 40с. Укр. яз.

Слепцов А.И., Григорьев А.В., Зайцев Д.А. Методические указания к курсовому проектированию операционных систем // Донецк, ДонГТУ, 1994, 29с.

Слепцов А.И., Григорьев А.В., Зайцев Д.А. Методические указания по курсу "Теория операционных систем" // Донецк, ДонГТУ, 1994, 31с.

Зайцев Д.А. Конспект лекций по курсу "Основы дискретной математики". Часть I: Теория графов // Донецк: ДонГТУ, 1994, 35с.

Зайцев Д.А. Конспект лекций по курсу "Основы дискретной математики". Часть II: Алгебраические структуры // Донецк: ДонГТУ, 1994, 35с.

Слепцов А.И., Зайцев Д.А. Методические материалы к программному обеспечению системы оперативного сетевого планирования и управления "Опера" // Донецк, ДПИ, 1991, 68 с.

Слепцов А.И., Зайцев Д.А., Миланин А.А. Методические материалы к программной системе моделирования дискретных параллельных процессов, встраивания в автоматизированные системы и обучения специалистов // Донецк, ДПИ, 1991, 59 с.

Примечания:


Дмитрий А. Зайцев Dmitry A. Zaitsev