Dmitry A. Zaitsev .

Publications (abstracts): scientific , textbooks , presentations

Monographs

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

International journals

Zaitsev D.A. Toward the Minimal Universal Petri Net, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014, Vol. 44, No. 1, 47-58, 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. 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. 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

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

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. Solving Linear Systems via Composition of their Clans, Intelligent Information Management, 2009, 1, 73-80, DOI: 10.4236/iim.2009.12012

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

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.

International conferences & other publications in English

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. 190202. doi: 10.4204/EPTCS.128.22

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.

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

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.

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

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

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. 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. 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., 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., 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 (the author's abstract of the dissertation) // Kiev, the Academy of sciences of Ukraine, Institute of Cybernetics name of V.M.Glushkov, 1991, 12p. 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.

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 .