Моделирование телекоммуникационных систем в CPN Tools ДА Зайцев, ТР Шмелева Одесса: Одесская национальная академия связи им. АС Попова, 2008 | 39 | 2008 |
Simulating telecommunication systems with CPN Tools DA Zaitsev, TR Shmeleva Students' Book.–Odessa: ONAT (nd) 68, 2006 | 36 | 2006 |
Switched ethernet response time evaluation via colored petri net model DA Zaitsev, TR Shmeleva European Technology Institute, 2006 | 36 | 2006 |
Security of grid structures under disguised traffic attacks DA Zaitsev, TR Shmeleva, W Retschitzegger, B Pröll Cluster Computing 19, 1183-1200, 2016 | 30 | 2016 |
Infinite Petri Nets: Part 1, Modeling Square Grid Structures Download PDF DA Zaitsev, ID Zaitsev, TR Shmeleva Complex Systems 26 (2), 2017 | 23 | 2017 |
A parametric colored petri net model of a switched network DA Zaitsev, TR Shmeleva International Journal of Communications, Network and System Sciences 4 (1 …, 2011 | 23 | 2011 |
Verification of hypertorus communication grids by infinite petri nets and process algebra DA Zaitsev, TR Shmeleva, JF Groote IEEE/CAA Journal of Automatica Sinica 6 (3), 733-742, 2019 | 21 | 2019 |
Verification of hypercube communication structures via parametric Petri nets1 DA Zaitsev, TR Shmeleva Cybernetics and Systems Analysis 46 (1), 105-114, 2010 | 20 | 2010 |
Моделирование телекоммуникационных систем в CPN Tools: учебное пособие по курсу «Математическое моделирование информационных систем» для подготовки магистров в отрасли связи ДА Зайцев, ТР Шмелева Одесса: ОНАС, 2006 | 19 | 2006 |
Infinite Petri Nets: Part 2, Modeling Triangular, Hexagonal, Hypercube and Hypertorus Structures Download PDF DA Zaitsev, ID Zaitsev, TR Shmeleva Complex Systems 26 (4), 2017 | 18 | 2017 |
Analysis of square communication grids via infinite Petri nets TR Shmeleva, DA Zaytcev, ID Zaytcev ОНАЗ ім. ОС Попова, 2009 | 17 | 2009 |
Моделирование коммутируемой локальной сети раскрашенными сетями Петри ДА Зайцев, ТР Шмелёва Зв'язок 46 (2), 56-60, 2004 | 16 | 2004 |
Infinite Petri Nets as Models of Grids (pp. 187-204). Chapter 19 in Mehdi Khosrow-Pour (Ed.) Encyclopedia of Information Science and Technology, (10 Volumes) DA Zaitsev, ID Zaitsev, TR Shmeleva IGI-Global: USA, 2014 | 12 | 2014 |
Parametric Petri net model for Ethernet performance and QoS evaluation DA Zaitsev, TR Shmeleva Proceedings of 16th Workshop on Algorithms and Tools for Petri Nets, 15-28, 2009 | 11 | 2009 |
Verification of square communication grid protocols via infinite Petri nets TR Shmeleva, DA Zaitsev, ID Zaitsev European Technology Institute, 2009 | 10 | 2009 |
Verification of switched Ethernet protocols using infinite Petri nets TR Shmeleva 3rd International Conference on Modern Information-Communication …, 2007 | 9 | 2007 |
Modeling with colored Petri nets: specification, verification, and performance evaluation of systems DA Zaitsev, TR Shmeleva Automated systems in the aviation and aerospace industries, 378-404, 2019 | 8 | 2019 |
Modelirovanie telekommunikatsionnykh sistem v CPN Tools [Modeling of telecommunication systems in CPN Tools] DA Zaitsev, TR Shmeleva Odessa, Odesskaia natsional'naia akademiia sviazi im. AS Popova, 2008 | 7 | 2008 |
Основы построения параметрических моделей Петри коммутируемых сетей ДА Зайцев, ТР Шмелёва Моделирование и компьютерная графика: материалы, 207-214, 2005 | 7 | 2005 |
Spatial specification of hypertorus interconnect by infinite and reenterable coloured Petri nets DA Zaitsev, TR Shmeleva, B Pröll International Journal of Parallel, Emergent and Distributed Systems 37 (1), 1-21, 2022 | 6 | 2022 |