SNCtools: Tools for Sleptsov Net Computing (see refs and https://dimazaitsev.github.io/snc.html)

Content:

bm5000x -- Linux kernel benchmark with PVZ machine for System V Semaphores vs our virtual machine for Salwicki net

NDRtoSVS -- Tina plugin to export a PTN from the graphic editor nd as System V Semaphores in a C language header (.h) to insert into SVS machines using threads with pthread() or processes with fork()

NDRtoSN -- Tina plugin to export an SN from the graphic editor nd in LSN/HSN format or as C language header (.h)

LSNtoMCC -- SN file convertor: LSN to MCC

SN-MCC-VM-CPU -- SN virtual machine for multicore CPU with input in MCC format

SN-MCC-VM-GPU -- SN virtual machine for GPU with input in MCC format

FreeRTOS -- simulation and prototyping within FreeRTOS, automated manufacture shop case study

Data formats compatibility:

Tina, nd, and NDR file format according to https://projects.laas.fr/tina/index.php

LSN file format according to https://github.com/zhangq9919/Sleptsov-net-processor

HSN file format according to https://github.com/HfZhao1998/Compiler-and-Linker-of-Sleptsov-net-Program

MCC and MSN file format according to https://github.com/tishtri/SN-VM-GPU

SNC_ArduinoIDE SN declarations in the form of C language sn.h file for https://github.com/dimazaitsev/SNC_ArduinoIDE

References:

1. Zaitsev, D. A. (2026). Computing on semaphores of Dijkstra with place-transition nets. International Journal of Parallel, Emergent and Distributed Systems, 1–30. https://doi.org/10.1080/17445760.2026.2615010
2. Ruiyao Xu, Si Zhang, Ding Liu, and Dmitry A. Zaitsev, Sleptsov net based reliable embedded system design on microcontrollers and FPGAs, Proc. of 2024 IEEE International Conference on Embedded Software and Systems (ICESS), Wuhan, China, Dec. 13-15, 2024.
3. Tatiana R. Shmeleva, Ivan D. Zaitsev, and Werner Retschitzegger, GPU Based Virtual Machine for Sleptsov Net Computing, Parallel Processing LettersVol. 34, No. 03n04, 2450012 (2024). https://doi.org/10.1142/S0129626424500129
4. Bernard Berthomieu, Dmitry A. Zaitsev, Sleptsov Nets are Turing-complete, Theoretical Computer Science, Volume 986, 2024. https://doi.org/10.1016/j.tcs.2023.114346
5. Sleptsov Net Computing Resolves Modern Supercomputing Problems, The April 21, 2023, edition of ACM TechNews, https://technews.acm.org/archives.cfm?fo=2023-04-apr/apr-21-2023.html
6. 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 , 38(4) 2023, 275-279. https://doi.org/10.1080/17445760.2023.2201002
7. Dmitry A. Zaitsev, Tatiana R. Shmeleva, Qing Zhang, and Hongfei Zhao, Virtual Machine and Integrated Developer Environment for Sleptsov Net Computing Parallel Processing Letters, Vol. 33, No. 03, 2350006 (2023). https://doi.org/10.1142/S0129626423500068
8. Dmitry A. Zaitsev, Strong Sleptsov nets are Turing complete, Information Sciences, Volume 621, 2023, 172-182. https://doi.org/10.1016/j.ins.2022.11.098
9. Zaitsev D.A. Universal Sleptsov Net, International Journal of Computer Mathematics, 94(12) 2017, 2396-2408. http://dx.doi.org/10.1080/00207160.2017.1283410
10. 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. https://doi.org/10.1177%2F1687814016640159
11. Zaitsev D.A. Sleptsov Nets Run Fast, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2016, Vol. 46, No. 5, 682 - 693. http://dx.doi.org/10.1109/TSMC.2015.2444414

---

@ 2026 Dmitry Zaitsev: daze@acm.org