Tatiana R. Shmeleva

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 12

Top Topics

Discrete Event Systems

Coloured Petri Nets

Top Venues

Int. J. Parallel Emergent Distributed Syst.

Autom. Control. Comput. Sci.

Publications

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Zeyu Zhou, Ding Liu
Verification of cryptocurrency consensus protocols: reenterable colored Petri net model design. Int. J. Parallel Emergent Distributed Syst. 39 (1) (2024)
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Qing Zhang, Hongfei Zhao
Virtual Machine and Integrated Developer Environment for Sleptsov Net Computing. Parallel Process. Lett. 33 (3) (2023)
Birgit Pröll, Werner Retschitzegger, Wieland Schwinger, Tatiana R. Shmeleva, Dmitry A. Zaitsev
Modelling proof-of-work agreement protocol by coloured Petri nets. Int. J. Parallel Emergent Distributed Syst. 37 (6) (2022)
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Piotr Luszczek
Aggregation of clans to speed-up solving linear systems on parallel architectures. Int. J. Parallel Emergent Distributed Syst. 37 (2) (2022)
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Birgit Pröll
Spatial specification of hypertorus interconnect by infinite and reenterable coloured Petri nets. Int. J. Parallel Emergent Distributed Syst. 37 (1) (2022)
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Peyman Ghaffari
Modeling Multidimensional Communication Lattices with Moore Neighborhood by Infinite Petri Nets. IDT (2021)
Tatiana R. Shmeleva, Jan W. Owsinski, Abdulmalik Ahmad Lawan
Deep learning on Sleptsov nets. Int. J. Parallel Emergent Distributed Syst. 36 (6) (2021)
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Jan Friso Groote
Verification of hypertorus communication grids by infinite petri nets and process algebra. IEEE CAA J. Autom. Sinica 6 (3) (2019)
Tatiana R. Shmeleva
Comparative Analysis of Stability to Induced Deadlocks for Computing Grids with Various Node Architectures. Autom. Control. Comput. Sci. 52 (7) (2018)
Dmitry A. Zaitsev, Dmitry Zaitsev, Tatiana R. Shmeleva
Infinite Petri Nets: Part 1, Modeling Square Grid Structures. Complex Syst. 26 (2) (2017)
Dmitry A. Zaitsev, Dmitry Zaitsev, Tatiana R. Shmeleva
Infinite Petri Nets: Part 2, Modeling Triangular, Hexagonal, Hypercube and Hypertorus Structures. Complex Syst. 26 (4) (2017)
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Werner Retschitzegger, Birgit Pröll
Security of grid structures under disguised traffic attacks. Clust. Comput. 19 (3) (2016)
Dmitry Anatoly Zaitsev, Tatiana R. Shmeleva
A Parametric Colored Petri Net Model of a Switched Network. Int. J. Commun. Netw. Syst. Sci. 4 (1) (2011)
Peter Vorobiyenko, Kirill Dmitry Guliaiev, Dmitry Anatoly Zaitsev, Tatiana R. Shmeleva
PBB Efficiency Evaluation via Colored Petri Net Models. Commun. Netw. 2 (2) (2010)