Follow
Tatiana R. Shmeleva, Татьяна Шмелева
Tatiana R. Shmeleva, Татьяна Шмелева
Max Planck Institute for Software Systems, Kaiserslautern, Germany
Verified email at mpi-sws.org
Title
Cited by
Cited by
Year
Моделирование телекоммуникационных систем в 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
Z Dmitry A, S Tatiana R
Int'l J. of Communications, Network and System Sciences 2011, 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
202019
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 grid structures by petri nets
DA Zaitsev, TR Shmeleva, W Retschitzegger
Micro-Electronics and Telecommunication Engineering: Proceedings of 4th …, 2021
62021
The system can't perform the operation now. Try again later.
Articles 1–20