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
412008
Switched ethernet response time evaluation via colored petri net model
DA Zaitsev, TR Shmeleva
European Technology Institute, 2006
372006
Simulating telecommunication systems with CPN Tools
DA Zaitsev, TR Shmeleva
Students' Book.–Odessa: ONAT (nd) 68, 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
242017
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
232019
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 hypercube communication structures via parametric Petri nets1
DA Zaitsev, TR Shmeleva
Cybernetics and Systems Analysis 46 (1), 105-114, 2010
212010
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
202017
Моделирование телекоммуникационных систем в CPN Tools: учебное пособие по курсу «Математическое моделирование информационных систем» для подготовки магистров в отрасли связи
ДА Зайцев, ТР Шмелева
Одесса: ОНАС, 2006
202006
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
Modeling with colored Petri nets: specification, verification, and performance evaluation of systems
DA Zaitsev, TR Shmeleva
Research Anthology on Reliability and Safety in Aviation Systems, Spacecraft …, 2021
92021
Verification of switched Ethernet protocols using infinite Petri nets
TR Shmeleva
3rd International Conference on Modern Information-Communication …, 2007
92007
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
72022
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
The system can't perform the operation now. Try again later.
Articles 1–20