Dmitry Zaitsev

According to our database, Dmitry Zaitsev authored at least 41 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Sleptsov nets are Turing-complete.

Bernard Berthomieu, Dmitry A. Zaitsev

Theor. Comput. Sci., February, 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., January, 2024

2023

Virtual Machine and Integrated Developer Environment for Sleptsov Net Computing.

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Qing Zhang, Hongfei Zhao

Parallel Process. Lett., September, 2023

Sleptsov Net Computing resolves problems of modern supercomputing revealed by Jack Dongarra in his Turing Award talk in November 2022.

Dmitry Zaitsev

Int. J. Parallel Emergent Distributed Syst., July, 2023

Strong Sleptsov nets are Turing complete.

Dmitry A. Zaitsev

Inf. Sci., April, 2023

2022

From strong to exact Petri net computers.

Dmitry A. Zaitsev, Mengchu Zhou

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

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

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

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

Strong Sleptsov Net is Turing-Complete.

Dmitry A. Zaitsev

CoRR, 2022

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

Modeling Multidimensional Communication Lattices with Moore Neighborhood by Infinite Petri Nets.

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Peyman Ghaffari

Proceedings of the International Conference on Information and Digital Technologies, 2021

Modeling Ebola Virus Dynamics by Colored Petri Nets.

Dmitry A. Zaitsev, Peyman Ghaffari, Virginia Sanz Sanchez

Proceedings of CECNet 2021, 2021

2020

Docker container based PaaS cloud computing comprehensive benchmarks using LAPACK.

Dmitry Zaitsev, Piotr Luszczek

Proceedings of The Third International Workshop on Computer Modeling and Intelligent Systems (CMIS-2020), 2020

2019

Solving Linear Diophantine Systems on Parallel Architectures.

Dmitry Zaitsev, Stanimire Tomov, Jack J. Dongarra

IEEE Trans. Parallel Distributed Syst., 2019

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

2018

Simulating Cellular Automata by Infinite Petri Nets.

Dmitry A. Zaitsev

J. Cell. Autom., 2018

2017

A generalized neighborhood for cellular automata.

Dmitry A. Zaitsev

Theor. Comput. Sci., 2017

Universal Sleptsov net.

Dmitry A. Zaitsev

Int. J. Comput. Math., 2017

Infinite Petri Nets: Part 2, Modeling Triangular, Hexagonal, Hypercube and Hypertorus Structures.

Dmitry A. Zaitsev, Dmitry Zaitsev, Tatiana R. Shmeleva

Complex Syst., 2017

Infinite Petri Nets: Part 2, Modeling Triangular, Hexagonal, Hypercube and Hypertorus Structures.

Dmitry A. Zaitsev, Dmitry Zaitsev, Tatiana R. Shmeleva

Complex Syst., 2017

Infinite Petri Nets: Part 1, Modeling Square Grid Structures.

Dmitry A. Zaitsev, Dmitry Zaitsev, Tatiana R. Shmeleva

Complex Syst., 2017

Infinite Petri Nets: Part 1, Modeling Square Grid Structures.

Dmitry A. Zaitsev, Dmitry Zaitsev, Tatiana R. Shmeleva

Complex Syst., 2017

2016

Sleptsov Nets Run Fast.

Dmitry A. Zaitsev

IEEE Trans. Syst. Man Cybern. Syst., 2016

Sequential composition of linear systems' clans.

Dmitry Zaitsev

Inf. Sci., 2016

k-neighborhood for Cellular Automata.

Dmitry A. Zaitsev

CoRR, 2016

Security of grid structures under disguised traffic attacks.

Dmitry A. Zaitsev, Tatiana R. Shmeleva, Werner Retschitzegger, Birgit Pröll

Clust. Comput., 2016

2015

Universality in Infinite Petri Nets.

Dmitry A. Zaitsev

Proceedings of the Machines, Computations, and Universality - 7th International Conference, 2015

2014

Toward the Minimal Universal Petri Net.

Dmitry A. Zaitsev

IEEE Trans. Syst. Man Cybern. Syst., 2014

Paradigm of computations on the Petri nets.

Dmitry A. Zaitsev

Autom. Remote. Control., 2014

2013

Small Polynomial Time Universal Petri Nets.

Dmitry Anatoly Zaitsev

CoRR, 2013

A Small Universal Petri Net.

Dmitry A. Zaitsev

Proceedings of the Proceedings Machines, Computations and Universality 2013, 2013

Verification of computing grids with special edge conditions by infinite Petri nets.

Dmitry A. Zaitsev

Autom. Control. Comput. Sci., 2013

2012

Inhibitor Petri net executing an arbitrary given Markov normal algorithm.

Dmitry Anatoly Zaitsev

Autom. Control. Comput. Sci., 2012

2011

Stack E6 and Its Implementation within Linux Kernel.

Dmitry Anatoly Zaitsev, Kyrill Dmitry Guliaiev

J. Softw. Eng. Appl., 2011

A Parametric Colored Petri Net Model of a Switched Network.

Dmitry Anatoly Zaitsev, Tatiana R. Shmeleva

Int. J. Commun. Netw. Syst. Sci., 2011

2010

PBB Efficiency Evaluation via Colored Petri Net Models.

Peter Vorobiyenko, Kirill Dmitry Guliaiev, Dmitry Anatoly Zaitsev, Tatiana R. Shmeleva

Commun. Netw., 2010

Universal Inhibitor Petri Net.

Dmitry Zaitsev

Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010

2009

Solving Linear Systems via Composition of their Clans.

Dmitry Anatoly Zaitsev

Intell. Inf. Manag., 2009

2004

Switched LAN simulation by colored Petri nets.

Dmitry Anatoly Zaitsev

Math. Comput. Simul., 2004