Seguir
Tatiana R. Shmeleva, Татьяна Шмелева
Tatiana R. Shmeleva, Татьяна Шмелева
Max Planck Institute for Software Systems, Kaiserslautern, Germany
Dirección de correo verificada de mpi-sws.org
Título
Citado por
Citado por
Año
Моделирование телекоммуникационных систем в CPN Tools
ДА Зайцев, ТР Шмелева
Одесса: Одесская национальная академия связи им. АС Попова, 2008
392008
Simulating telecommunication systems with CPN Tools
DA Zaitsev, TR Shmeleva
Students' Book.–Odessa: ONAT (nd) 68, 2006
362006
Switched ethernet response time evaluation via colored petri net model
DA Zaitsev, TR Shmeleva
European Technology Institute, 2006
362006
Security of grid structures under disguised traffic attacks
DA Zaitsev, TR Shmeleva, W Retschitzegger, B Pröll
Cluster Computing 19, 1183-1200, 2016
302016
Infinite Petri Nets: Part 1, Modeling Square Grid Structures Download PDF
DA Zaitsev, ID Zaitsev, TR Shmeleva
Complex Systems 26 (2), 2017
232017
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
232011
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
212019
Verification of hypercube communication structures via parametric Petri nets1
DA Zaitsev, TR Shmeleva
Cybernetics and Systems Analysis 46 (1), 105-114, 2010
202010
Моделирование телекоммуникационных систем в CPN Tools: учебное пособие по курсу «Математическое моделирование информационных систем» для подготовки магистров в отрасли связи
ДА Зайцев, ТР Шмелева
Одесса: ОНАС, 2006
192006
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
182017
Analysis of square communication grids via infinite Petri nets
TR Shmeleva, DA Zaytcev, ID Zaytcev
ОНАЗ ім. ОС Попова, 2009
172009
Моделирование коммутируемой локальной сети раскрашенными сетями Петри
ДА Зайцев, ТР Шмелёва
Зв'язок 46 (2), 56-60, 2004
162004
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
122014
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
112009
Verification of square communication grid protocols via infinite Petri nets
TR Shmeleva, DA Zaitsev, ID Zaitsev
European Technology Institute, 2009
102009
Verification of switched Ethernet protocols using infinite Petri nets
TR Shmeleva
3rd International Conference on Modern Information-Communication …, 2007
92007
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
82019
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
72008
Основы построения параметрических моделей Петри коммутируемых сетей
ДА Зайцев, ТР Шмелёва
Моделирование и компьютерная графика: материалы, 207-214, 2005
72005
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
62022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20