All Stories

  1. 3D multicore CPU vs GPU on sparse patterns of Sleptsov net virtual machine

    Article • International Journal of Parallel Emergent and Distributed Systems, April 2025, Taylor & Francis

    Professor Dmitry Zaitsev

  2. Computing and Communication Structure Design for Fast Mass-Parallel Numerical Solving PDE

    Article • Parallel Processing Letters, March 2025, World Scientific Pub Co Pte Lt

    Professor Dmitry Zaitsev

  3. Verification of MPI programs via compilation into Petri nets

    Article • January 2025, Elsevier

    Professor Dmitry Zaitsev

  4. Modeling Virus Dynamics by Colored Petri Nets: Ebola and COVID Case Study

    Article • January 2025, Springer Science + Business Media

    Professor Dmitry Zaitsev

  5. Sleptsov net based reliable embedded system design on microcontrollers and FPGAs

    Article • December 2024, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Dmitry Zaitsev

  6. Notation for mass parallel algorithms: computing Petri net state space on GPU case study

    Article • International Journal of Parallel Emergent and Distributed Systems, November 2024, Taylor & Francis

    Professor Dmitry Zaitsev

  7. Analysis of Bitcoin Fork by Colored Petri Nets

    Article • October 2024, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Dmitry Zaitsev

  8. Fast Local Rules Based Switching and Routing Within Multidimensional Torus Interconnect

    Article • Parallel Processing Letters, January 2024, World Scientific Pub Co Pte Lt

    Professor Dmitry Zaitsev

  9. Reenterable colored Petri net model of Ebola virus dynamics

    Article • December 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Dmitry Zaitsev

  10. Sleptsov Nets are Turing-complete

    Article • Theoretical Computer Science, December 2023, Elsevier

    Professor Dmitry Zaitsev

  11. Verification of cryptocurrency consensus protocols: reenterable colored Petri net model design

    Article • International Journal of Parallel Emergent and Distributed Systems, October 2023, Taylor & Francis

    Professor Dmitry Zaitsev

  12. Virtual Machine and Integrated Developer Environment for Sleptsov Net Computing

    Article • Parallel Processing Letters, June 2023, World Scientific Pub Co Pte Lt

    Professor Dmitry Zaitsev

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

    Article • International Journal of Parallel Emergent and Distributed Systems, April 2023, Taylor & Francis

    Professor Dmitry Zaitsev

  14. Strong Sleptsov nets are Turing complete

    Article • Information Sciences, April 2023, Elsevier

    Professor Dmitry Zaitsev

  15. Modelling proof-of-work agreement protocol by coloured Petri nets

    Article • International Journal of Parallel Emergent and Distributed Systems, August 2022, Taylor & Francis

    Professor Dmitry Zaitsev

  16. Applying Infinite Petri Nets to the Cybersecurity of Intelligent Networks, Grids and Clouds

    Article • Applied Sciences, December 2021, MDPI AG

    Professor Dmitry Zaitsev

  17. Aggregation of clans to speed-up solving linear systems on parallel architectures

    Article • International Journal of Parallel Emergent and Distributed Systems, November 2021, Taylor & Francis

    Professor Dmitry Zaitsev

  18. From strong to exact Petri net computers

    Article • International Journal of Parallel Emergent and Distributed Systems, November 2021, Taylor & Francis

    Professor Dmitry Zaitsev

  19. Preface for special issue Petri/Sleptsov net based technology of programming for parallel, emergent and distributed systems

    Article • International Journal of Parallel Emergent and Distributed Systems, September 2021, Taylor & Francis

    Professor Dmitry Zaitsev

  20. Spatial specification of hypertorus interconnect by infinite and reenterable coloured Petri nets

    Article • International Journal of Parallel Emergent and Distributed Systems, July 2021, Taylor & Francis

    Professor Dmitry Zaitsev

  21. Analyzing Multidimensional Communication Lattice with Combined Cut-Through and Store-and-Forward Switching Node

    Article • January 2021, Springer Science + Business Media

    Professor Dmitry Zaitsev

  22. Solving Linear Diophantine Systems on Parallel Architectures

    Article • IEEE Transactions on Parallel and Distributed Systems, May 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Dmitry Zaitsev

  23. Verification of hypertorus communication grids by infinite petri nets and process algebra

    Article • IEEE/CAA Journal of Automatica Sinica, May 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Dmitry Zaitsev

  24. Reenterable Colored Petri Net Models of Networks, Grids, and Clouds: Case Study for Provider Backbone Bridge

    Article • November 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Dmitry Zaitsev

  25. Sleptsov Net Computing

    Article • January 2018, IGI Global

    Professor Dmitry Zaitsev

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

    Article • Complex Systems, December 2017, Wolfram Research, Inc.

    Professor Dmitry Zaitsev

  27. A co-processor for a Sleptsov net computer

    Article • IEEJ Transactions on Electrical and Electronic Engineering, August 2017, Wiley

    Professor Dmitry Zaitsev

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

    Article • Complex Systems, June 2017, Wolfram Research, Inc.

    Professor Dmitry Zaitsev

  29. A generalized neighborhood for cellular automata

    Article • Theoretical Computer Science, March 2017, Elsevier

    Professor Dmitry Zaitsev

  30. Universal Sleptsov net

    Article • International Journal of Computer Mathematics, February 2017, Taylor & Francis

    Professor Dmitry Zaitsev

  31. Lessons from co-impacts assessment under the Mitigation Action Plans and Scenarios (MAPS) Programme

    Article • Climate Policy, November 2016, Taylor & Francis

    Professor Dmitry Zaitsev

  32. Sequential composition of linear systems’ clans

    Article • Information Sciences, October 2016, Elsevier

    Professor Dmitry Zaitsev

  33. Security of grid structures under disguised traffic attacks

    Article • Cluster Computing, June 2016, Springer Science + Business Media

    Professor Dmitry Zaitsev

  34. Sleptsov Nets Run Fast

    Article • IEEE Transactions on Systems Man and Cybernetics Systems, May 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Dmitry Zaitsev

  35. A vivid and concise graphical language for concurrent programming

    Article • Advances in Mechanical Engineering, April 2016, SAGE Publications

    Professor Dmitry Zaitsev

  36. Universality in Infinite Petri Nets

    Article • January 2015, Springer Science + Business Media

    Professor Dmitry Zaitsev

  37. Paradigm of computations on the Petri nets

    Article • Automation and Remote Control, August 2014, Pleiades Publishing Ltd

    Professor Dmitry Zaitsev

  38. Infinite Petri Nets as Models of Grids

    Article • July 2014, IGI Global

    Professor Dmitry Zaitsev

  39. Toward the Minimal Universal Petri Net

    Article • IEEE Transactions on Systems Man and Cybernetics Systems, January 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Dmitry Zaitsev

  40. ESTIMATION OF THE ILL-INTENTIONED TRAFFIC EFFECT UPON FUNCTIONING OF COMPUTING GRIDS

    Article • Telecommunications and Radio Engineering, January 2014, Begell House

    Professor Dmitry Zaitsev

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

    Article • Automatic Control and Computer Sciences, December 2013, Allerton Press

    Professor Dmitry Zaitsev

  42. A Small Universal Petri Net

    Article • Electronic Proceedings in Theoretical Computer Science, September 2013, Open Publishing Association

    Professor Dmitry Zaitsev

  43. Composition of Functional Petri Nets

    Article • January 2013, IGI Global

    Professor Dmitry Zaitsev

  44. Inhibitor Petri net executing an arbitrary given Markov normal algorithm

    Article • Automatic Control and Computer Sciences, December 2012, Allerton Press

    Professor Dmitry Zaitsev

  45. Universal petri net

    Article • Cybernetics and Systems Analysis, July 2012, Springer Science + Business Media

    Professor Dmitry Zaitsev

  46. Implementing Stack E6 via OS Linux Sockets

    Article • Journal of Advanced Computer Science & Technology, June 2012, Science Publishing Corporation

    Professor Dmitry Zaitsev

  47. E6 Addressing Scheme and Network Architecture

    Article • Journal of Advanced Computer Science & Technology, March 2012, Science Publishing Corporation

    Professor Dmitry Zaitsev

  48. A Parametric Colored Petri Net Model of a Switched Network

    Article • International Journal of Communications Network and System Sciences, January 2011, Scientific Research Publishing, Inc,

    Professor Dmitry Zaitsev

  49. Stack E6 and Its Implementation within Linux Kernel

    Article • Journal of Software Engineering and Applications, January 2011, Scientific Research Publishing, Inc,

    Professor Dmitry Zaitsev

  50. PBB Efficiency Evaluation via Colored Petri Net Models

    Article • Communications and Network, January 2010, Scientific Research Publishing, Inc,

    Professor Dmitry Zaitsev

  51. Verification of hypercube communication structures via parametric Petri nets1

    Article • Cybernetics and Systems Analysis, January 2010, Springer Science + Business Media

    Professor Dmitry Zaitsev

  52. Solving Linear Systems via Composition of their Clans

    Article • Intelligent Information Management, January 2009, Scientific Research Publishing, Inc,

    Professor Dmitry Zaitsev

  53. Compositional analysis of Petri nets

    Article • Cybernetics and Systems Analysis, January 2006, Springer Science + Business Media

    Professor Dmitry Zaitsev

  54. Verification of ethernet protocols via parametric composition of Petri net

    Article • January 2006, Elsevier

    Professor Dmitry Zaitsev

  55. Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 8-11, 2004

    Article • DAIMI Report Series, October 2004, Aarhus University Library

    Professor Dmitry Zaitsev

  56. Decomposition of Petri nets

    Article • Cybernetics and Systems Analysis, September 2004, Springer Science + Business Media

    Professor Dmitry Zaitsev

  57. Switched LAN simulation by colored Petri nets

    Article • Mathematics and Computers in Simulation, April 2004, Elsevier

    Professor Dmitry Zaitsev

  58. Invariants of Timed Petri Nets

    Article • Cybernetics and Systems Analysis, March 2004, Springer Science + Business Media

    Professor Dmitry Zaitsev

  59. Synthesis of continuous-valued logic functions defined in tabular form

    Article • Cybernetics and Systems Analysis, March 1998, Springer Science + Business Media

    Professor Dmitry Zaitsev

  60. State equations and equivalent transformations for timed petri nets

    Article • Cybernetics and Systems Analysis, September 1997, Springer Science + Business Media

    Professor Dmitry Zaitsev