Dmitry A. Zaitsev

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 24

Top Topics

Cellular Automata

Colored Petri Nets

Top Venues

Int. J. Parallel Emergent Distributed Syst.

Theor. Comput. Sci.

Publications

Bernard Berthomieu, Dmitry A. Zaitsev
Sleptsov nets are Turing-complete. Theor. Comput. Sci. 986 (2024)
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
Strong Sleptsov nets are Turing complete. Inf. Sci. 621 (2023)
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)
Bernard Berthomieu, Dmitry A. Zaitsev
Sleptsov Nets are Turing-complete. CoRR (2023)
Dmitry A. Zaitsev
Strong Sleptsov Net is Turing-Complete. CoRR (2022)
Dmitry A. Zaitsev, Mengchu Zhou
From strong to exact Petri net computers. Int. J. Parallel Emergent Distributed Syst. 37 (2) (2022)
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)
Genaro J. Martínez, Andrew Adamatzky, Ricardo Quezada Figueroa, Eric Schweikardt, Dmitry A. Zaitsev, Ivan Zelinka, Luz Noé Oliva-Moreno
Computing with Modular Robots. Int. J. Unconv. Comput. 17 (1-2) (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)
Genaro J. Martínez, Andrew Adamatzky, Ricardo Quezada Figueroa, Eric Schweikardt, Dmitry A. Zaitsev, Ivan Zelinka, Luz Noé Oliva-Moreno
Computing with Modular Robots. CoRR (2022)
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Peyman Ghaffari
Modeling Multidimensional Communication Lattices with Moore Neighborhood by Infinite Petri Nets. IDT (2021)
Dmitry A. Zaitsev, David E. Probert
Preface for special issue Petri/Sleptsov net based technology of programming for parallel, emergent and distributed systems. Int. J. Parallel Emergent Distributed Syst. 36 (6) (2021)
Dmitry A. Zaitsev, Peyman Ghaffari, Virginia Sanz Sanchez
Modeling Ebola Virus Dynamics by Colored Petri Nets. CECNet (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)
Dmitry A. Zaitsev
Simulating Cellular Automata by Infinite Petri Nets. J. Cell. Autom. 13 (1-2) (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
Universal Sleptsov net. Int. J. Comput. Math. 94 (12) (2017)
Dmitry A. Zaitsev
A generalized neighborhood for cellular automata. Theor. Comput. Sci. 666 (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
Sleptsov Nets Run Fast. IEEE Trans. Syst. Man Cybern. Syst. 46 (5) (2016)
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 A. Zaitsev
k-neighborhood for Cellular Automata. CoRR (2016)
Dmitry A. Zaitsev
Universality in Infinite Petri Nets. MCU (2015)
Dmitry A. Zaitsev
Toward the Minimal Universal Petri Net. IEEE Trans. Syst. Man Cybern. Syst. 44 (1) (2014)
Dmitry A. Zaitsev
Verification of computing grids with special edge conditions by infinite Petri nets. Autom. Control. Comput. Sci. 47 (7) (2013)
Dmitry A. Zaitsev
A Small Universal Petri Net. MCU (2013)