Зайцев Дмитрий Анатольевич

Международный гуманитарный университет

Фонтанская дорога, 33, Одесса 65009, Украина
Тел.: +38 048 7153828
E-mail: daze@acm.org

URL:	daze.ho.ua

#СетиСлепцова

#SleptsovNets

Основные работы

Zaitsev D.A. A generalized neighborhood for cellular automata, Theoretical Computer Science. Online 22 November 2016, 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

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, 1369–1383, 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. 403–412. 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. 345–355. 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, 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.

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

Статьи:

ü  Селфи с видом на “Кибернетику и системный анализ  Дмитрий Зайцев

ü  Сети Слепцова – путь в Энциклопедию информационных наук и технологий США  Дмитрий Зайцев

ü  Лекции профессора Зайцева в Нью-Йорке и Нью-Джерси

ü  Lectures by Professor Zaitsev in New York and New Jersey (eng)