PBB Efficiency Evaluation via Colored Petri Net Models. - Peter Vorobiyenko; Kirill Dmitry Guliaiev; Dmitry Anatoly Zaitsev; Tatiana R. Shmeleva (Commun. Netw., 2010)

A Parametric Colored Petri Net Model of a Switched Network. - Dmitry Anatoly Zaitsev; Tatiana R. Shmeleva (Int. J. Commun. Netw. Syst. Sci., 2011)

Security of grid structures under disguised traffic attacks. - Dmitry A. Zaitsev; Tatiana R. Shmeleva; Werner Retschitzegger; Birgit Pröll (Clust. Comput., 2016)

Infinite Petri Nets: Part 1, Modeling Square Grid Structures. - Dmitry A. Zaitsev; Dmitry Zaitsev 001; Tatiana R. Shmeleva (Complex Syst., 2017)

Infinite Petri Nets: Part 2, Modeling Triangular, Hexagonal, Hypercube and Hypertorus Structures. - Dmitry A. Zaitsev; Dmitry Zaitsev 001; Tatiana R. Shmeleva (Complex Syst., 2017)

Comparative Analysis of Stability to Induced Deadlocks for Computing Grids with Various Node Architectures. - Tatiana R. Shmeleva (Autom. Control. Comput. Sci., 2018)

Verification of hypertorus communication grids by infinite petri nets and process algebra. - Dmitry A. Zaitsev; Tatiana R. Shmeleva; Jan Friso Groote (IEEE CAA J. Autom. Sinica, 2019)

Modeling Multidimensional Communication Lattices with Moore Neighborhood by Infinite Petri Nets. - Dmitry A. Zaitsev; Tatiana R. Shmeleva; Peyman Ghaffari (IDT, 2021)

Deep learning on Sleptsov nets. - Tatiana R. Shmeleva; Jan W. Owsinski; Abdulmalik Ahmad Lawan (Int. J. Parallel Emergent Distributed Syst., 2021)

Modelling proof-of-work agreement protocol by coloured Petri nets. - Birgit Pröll; Werner Retschitzegger; Wieland Schwinger; Tatiana R. Shmeleva; Dmitry A. Zaitsev (Int. J. Parallel Emergent Distributed Syst., 2022)

Aggregation of clans to speed-up solving linear systems on parallel architectures. - Dmitry A. Zaitsev; Tatiana R. Shmeleva; Piotr Luszczek (Int. J. Parallel Emergent Distributed Syst., 2022)

Spatial specification of hypertorus interconnect by infinite and reenterable coloured Petri nets. - Dmitry A. Zaitsev; Tatiana R. Shmeleva; Birgit Pröll (Int. J. Parallel Emergent Distributed Syst., 2022)

Virtual Machine and Integrated Developer Environment for Sleptsov Net Computing. - Dmitry A. Zaitsev; Tatiana R. Shmeleva; Qing Zhang; Hongfei Zhao (Parallel Process. Lett., 2023)

Analysis of Bitcoin Fork by Colored Petri Nets. - Zeyu Zhou; Ding Liu; Tatiana R. Shmeleva; Dmitry A. Zaitsev (SMC, 2024)

GPU Based Virtual Machine for Sleptsov Net Computing. - Tatiana R. Shmeleva; Ivan D. Zaitsev; Werner Retschitzegger (Parallel Process. Lett., 2024)

Verification of cryptocurrency consensus protocols: reenterable colored Petri net model design. - Dmitry A. Zaitsev; Tatiana R. Shmeleva; Zeyu Zhou; Ding Liu (Int. J. Parallel Emergent Distributed Syst., 2024)

Fast Local Rules Based Switching and Routing Within Multidimensional Torus Interconnect. - Dmitry A. Zaitsev; Tatiana R. Shmeleva; Vicente Matellán Olivera (Parallel Process. Lett., 2024)

Computing and Communication Structure Design for Fast Mass-Parallel Numerical Solving PDE. - Dmitry A. Zaitsev; Tatiana R. Shmeleva; Alexander A. Kostikov (Parallel Process. Lett., 2025)

Notation for mass parallel algorithms: computing Petri net state space on GPU case study. - Dmitry A. Zaitsev; Z. Zhang; Ding Liu; Tatiana R. Shmeleva (Int. J. Parallel Emergent Distributed Syst., 2025)