Dmitry A. Zaitsev .

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

Issues indexed in JCR/WoS and Scopus

Zaitsev D.A. Universal Sleptsov Net, International Journal of Computer Mathematics. Online 20 Jan 2017, DOI: 10.1080/00207160.2017.1283410

Zaitsev D.A. A generalized neighborhood for cellular automata, Theoretical Computer Science, 666 (2017), 2135, 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, 11831200. 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), 111. DOI: 10.1177/1687814016640159

Zaitsev D.A. Sequential composition of linear systems clans, Information Sciences, Vol. 363, 292307. 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

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. Paradigm of Computations on the Petri Nets, Automation and Remote Control, 2014, Vol. 75, No. 8, 13691383, DOI: 10.1134/S0005117914080025

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., 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. Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets, Automatic Control and Computer Sciences, 2013, Vol. 47, No. 7, pp. 403412. DOI: 10.3103/S0146411613070262

Zaitsev D.A. Inhibitor Petri Net Executing an Arbitrary Given Markov Normal Algorithm, Automatic Control and Computer Sciences, 2012, Vol. 46, No. 7, pp. 345355. DOI: 10.3103/S0146411612070140

Zaitsev D.A. Universal Petri net, Cybernetics and Systems Analysis, Volume 48, Number 4 (2012), 498-511. DOI: 10.1007/s10559-012-9429-4

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, DOI: 10.1007/s10559-010-9189-y

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

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. Compositional analysis of Petri nets, Cybernetics and Systems Analysis, Volume 42, Number 1 (2006), 126-136, DOI: 10.1007/s10559-006-0044-0

Zaitsev D.A. Enterprise Petri net based CAM software Opera-Topaz, 3rd International Industrial Simulation Conference 2005, ISC 2005 Pages: 124-128 Year: 2005.

Zaitsev D.A. Decomposition of Petri Nets, Cybernetics and Systems Analysis, Volume 40, Number 5 (2004), 739-746, DOI: 10.1007/s10559-005-0012-0

Zaitsev D.A. Invariants of Timed Petri Nets, Cybernetics and Systems Analysis, Volume 40, Number 2 (2004), 226-237, DOI: 10.1023/B:CASA.0000034448.97077.dd

Zaitsev D.A. Switched LAN simulation by colored Petri nets, Mathematics and Computers in Simulation, Volume 65, Issue 3, 22 April 2004, 245249, 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.

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, DOI: 10.1007/BF02742068

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, DOI: 10.1007/BF02667189

Other publications in English

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. 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. 190202. 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. 2641. 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:


Dmitry A. Zaitsev .