Дмитрий А. Зайцев 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. 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

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

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

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, 3rd International Industrial Simulation Conference 2005, ISC 2005 Pages: 124-128 Year: 2005.

Зайцев Д.А. Декомпозиция сетей Петри // Кибернетика и системный анализ, №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.

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

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. k-neighborhood for Cellular Automata. arXiv:1605.08870

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