Sleptsov net computing is a novel paradigm based on a completely graphical language of concurrent programming and computing-memory mass parallel hardware yielding hyper-performance and reliable verified systems, using present technology.
Motivation: The low efficiency of modern computers on a real-life mixture of tasks because of the processor-memory bottleneck, which is only partially mended by multilayer cache. After Jack Dongarra, efficiency of the supercomputer Frontier is 0.8%.
Dmitry Zaitsev (2023) Sleptsov Net Computing resolves problems of modern supercomputing revealed by Jack Dongarra in his Turing Award talk in November 2022, International Journal of Parallel, Emergent and Distributed Systems. - in 2 months became the most read paper of IJPEDS
Dmitry Zaitsev, Sleptsov Net Computing, Invited OLF Fulbright lecture at Stony Brook University, New York, USA, Oct 10, 2017. Watch: Video record
Zaitsev D.A. Sleptsov Nets Run Fast, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2016, Vol. 46, No. 5, 682 - 693.
D. A. Zaitsev, Y. Ajima, J. F. C. Bartlett, and A. Kumar, 3D multicore CPU vs GPU on sparse patterns of Sleptsov net virtual machine, International Journal of Parallel, Emergent and Distributed Systems, 2025.
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Alexander A. Kostikov, Computing and Communication Structure Design for Fast Mass-Parallel Numerical Solving PDE, Parallel Processing Letters, May 9, 2025.
R. Xu, S. Zhang, D. Liu and D. A. Zaitsev, "Sleptsov net based reliable embedded system design on microcontrollers and FPGAs," 2024 IEEE International Conference on Embedded Software and Systems (ICESS), Wuhan, China, 2024, pp. 1-8.
Tatiana R. Shmeleva, Ivan D. Zaitsev, and Werner Retschitzegger, GPU Based Virtual Machine for Sleptsov Net Computing Parallel Processing Letters, 2024, 34:03n04.
Bernard Berthomieu, Dmitry A. Zaitsev, Sleptsov Nets are Turing-complete, Theoretical Computer Science, Volume 986, 2024, 114346, ISSN 0304-3975,
Dmitry A. Zaitsev, Strong Sleptsov nets are Turing complete, Information Sciences, Volume 621, 2023, Pages 172-182.
Dmitry A. Zaitsev, Tatiana R. Shmeleva, Qing Zhang, and Hongfei Zhao, Virtual Machine and Integrated Developer Environment for Sleptsov Net Computing Parallel Processing Letters, Online June 06 2023
Zaitsev D.A. Sleptsov Net Computing. Chapter 672 in Mehdi Khosrow-Pour (Ed.) Encyclopedia of Information Science and Technology, Fourth Edition (10 Volumes). IGI-Global: USA, 2017, pp. 7731-7743.
Zaitsev D.A., Jürjens J. Programming in the Sleptsov net language for systems control, Advances in Mechanical Engineering, 2016, Vol. 8(4), 1-11.
Zaitsev D.A. Sleptsov Nets Run Fast, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2016, Vol. 46, No. 5, 682 - 693.
Tatiana R. Shmeleva, Jan W. Owsiński, Abdulmalik Ahmad Lawan (2021) Deep learning on Sleptsov nets, International Journal of Parallel, Emergent and Distributed Systems, 36:6, 535-548.
Alexander A. Kostikov, Nikolay D. Zaitsev, Oleg V. Subotin (2021) Realisation of the double sweep method by using a Sleptsov net, International Journal of Parallel, Emergent and Distributed Systems, 36:6, 516-534.
Zaitsev D.A. Universal Sleptsov Net, International Journal of Computer Mathematics, 94(12) 2017, 2396-2408.
Zaitsev D.A. Paradigm of Computations on the Petri Nets, Automation and Remote Control, 2014, Vol. 75, No. 8, 1369-1383.
Invited talk "Sleptsov Net Computing" (slides ) for The 3rd International Colloquium on Discrete Event Dynamic Systems, Jul 13, 2024, Xi'an, China
Qing Zhang, Ding Liu, Yifan Hou, Sleptsov Net Processor, in 2022 IEEE 9th International Conference on Problems of Infocommunications, Science and Technology (PIC S&T), 10-12 October 2022, Kharkiv, Ukraine, doi: 10.1109/PICST57299.2022.10238599
Hongfei Zhao, Ding Liu, Yifan Hou, Compiler and Linker of Sleptsov Net Program, in 2022 IEEE 9th International Conference on Problems of Infocommunications, Science and Technology (PIC S&T), 10-12 October 2022, Kharkiv, Ukraine, doi: 10.1109/PICST57299.2022.10238607
Dmitry A. Zaitsev, Tools for Sleptsov Net Computing.
Tatiana R. Shmeleva, SN-VM-GPU: Sleptsov Net Virtual Machine on Graphics Processing Unit.
Qing Zhang, SN-VM: Sleptsov net Virtual Machine.
Hongfei Zhao, HSNtoLSN: Compiler-linker of hierarchical Sleptsov net programs.
Ruiyao Xu, SN Machine for Arduino.
Si Zhang, SN Machine for FPGA: Verilog code generator.
Bernard Berthomieu, François Vernadat, Silvano dal Zilio, Tina: TIme petri Net Analyzer.
Maxsteps options in TINA 3.8.0 implement Sleptsov nets
How to use Tina for SN design: Draw, edit, debug, and verify SN programs in nd Verify big SN programs in sift, selt, scan, and tedd Run SN program in walk