Switched LAN simulation by colored Petri nets. - Dmitry Anatoly Zaitsev (Math. Comput. Simul., 2004)

Solving Linear Systems via Composition of their Clans. - Dmitry Anatoly Zaitsev (Intell. Inf. Manag., 2009)

Universal Inhibitor Petri Net. - Dmitry Zaitsev 001 (AWPN, 2010)

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)

Stack E6 and Its Implementation within Linux Kernel. - Dmitry Anatoly Zaitsev; Kyrill Dmitry Guliaiev (J. Softw. Eng. Appl., 2011)

Inhibitor Petri net executing an arbitrary given Markov normal algorithm. - Dmitry Anatoly Zaitsev (Autom. Control. Comput. Sci., 2012)

Verification of computing grids with special edge conditions by infinite Petri nets. - Dmitry A. Zaitsev (Autom. Control. Comput. Sci., 2013)

A Small Universal Petri Net. - Dmitry A. Zaitsev (MCU, 2013)

Small Polynomial Time Universal Petri Nets. - Dmitry Anatoly Zaitsev (CoRR, 2013)

Paradigm of computations on the Petri nets. - Dmitry A. Zaitsev (Autom. Remote. Control., 2014)

Toward the Minimal Universal Petri Net. - Dmitry A. Zaitsev (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Universality in Infinite Petri Nets. - Dmitry A. Zaitsev (MCU, 2015)

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

k-neighborhood for Cellular Automata. - Dmitry A. Zaitsev (CoRR, 2016)

Sequential composition of linear systems' clans. - Dmitry Zaitsev 001 (Inf. Sci., 2016)

Sleptsov Nets Run Fast. - Dmitry A. Zaitsev (IEEE Trans. Syst. Man Cybern. Syst., 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 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)

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

Universal Sleptsov net. - Dmitry A. Zaitsev (Int. J. Comput. Math., 2017)

A generalized neighborhood for cellular automata. - Dmitry A. Zaitsev (Theor. Comput. Sci., 2017)

Simulating Cellular Automata by Infinite Petri Nets. - Dmitry A. Zaitsev (J. Cell. Autom., 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)

Solving Linear Diophantine Systems on Parallel Architectures. - Dmitry Zaitsev 001; Stanimire Tomov; Jack J. Dongarra (IEEE Trans. Parallel Distributed Syst., 2019)

Docker container based PaaS cloud computing comprehensive benchmarks using LAPACK. - Dmitry Zaitsev 001; Piotr Luszczek (CMIS, 2020)

Modeling Ebola Virus Dynamics by Colored Petri Nets. - Dmitry A. Zaitsev; Peyman Ghaffari; Virginia Sanz Sanchez (CECNet, 2021)

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

Preface for special issue Petri/Sleptsov net based technology of programming for parallel, emergent and distributed systems. - Dmitry A. Zaitsev; David E. Probert (Int. J. Parallel Emergent Distributed Syst., 2021)

Strong Sleptsov Net is Turing-Complete. - Dmitry A. Zaitsev (CoRR, 2022)

Computing with Modular Robots. - Genaro J. Martínez; Andrew Adamatzky; Ricardo Quezada Figueroa; Eric Schweikardt; Dmitry A. Zaitsev; Ivan Zelinka; Luz Noé Oliva-Moreno (Int. J. Unconv. Comput., 2022)

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)

From strong to exact Petri net computers. - Dmitry A. Zaitsev; Mengchu Zhou (Int. J. Parallel Emergent Distributed Syst., 2022)

Strong Sleptsov nets are Turing complete. - Dmitry A. Zaitsev (Inf. Sci., 2023)

Sleptsov Net Computing resolves problems of modern supercomputing revealed by Jack Dongarra in his Turing Award talk in November 2022. - Dmitry Zaitsev 001 (Int. J. Parallel Emergent Distributed Syst., 2023)

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

Sleptsov net based reliable embedded system design on microcontrollers and FPGAs. - Ruiyao Xu; Si Zhang; Ding Liu; Dmitry A. Zaitsev (ICESS, 2024)

Analysis of Bitcoin Fork by Colored Petri Nets. - Zeyu Zhou; Ding Liu; Tatiana R. Shmeleva; Dmitry A. Zaitsev (SMC, 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)

Sleptsov nets are Turing-complete. - Bernard Berthomieu; Dmitry A. Zaitsev (Theor. Comput. Sci., 2024)

Guest Editorial: Modeling and simulation based intelligent embedded computing systems in industrial internet of things. - Chinmay Chakraborty; Dmitry A. Zaitsev; Gabriella Casalino (Int. J. Model. Simul. Sci. Comput., 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)

3D multicore CPU vs GPU on sparse patterns of Sleptsov net virtual machine. - Dmitry Zaitsev 001; Yuichiro Ajima; Jaden F C Bartlett; Ansh Kumar (Int. J. Parallel Emergent Distributed Syst., 2025)