World Scientific
  • Search
  •   
Skip main navigation

Cookies Notification

We use cookies on this site to enhance your user experience. By continuing to browse the site, you consent to the use of our cookies. Learn More
×

System Upgrade on Tue, May 28th, 2024 at 2am (EDT)

Existing users will be able to log into the site and access content. However, E-commerce and registration of new users may not be available for up to 12 hours.
For online purchase, please visit us again. Contact us at [email protected] for any enquiries.

Virtual Machine and Integrated Developer Environment for Sleptsov Net Computing

    https://doi.org/10.1142/S0129626423500068Cited by:0 (Source: Crossref)

    Modern computing is a path of violations and transformations coming from an intrinsically concurrent application domain into a sequence of instructions and then back to concurrency with OpenMP, MPI and CUDA/OpenCL. Why we create so many difficulties? Sleptsov Net Computing (SNC) maps a task into an appropriate computing structure implemented as a re-configurable multidimensional sparse matrix of computing memory. It has entirely graphical mass parallel language for concurrent programming and a framework of techniques for concurrent program verification to develop reliable software. Estimated efficiency of SNC is higher than 50% compared to actual less that 1% efficiency of the most powerful supercomputers. It yields hyper-performance capable of efficient control of hyper-sonic objects, colliders, thermonuclear reaction. This paper presents an open source prototype VM and IDE for SNC with a view on upcoming hardware implementation of the corresponding computer.

    Partially supported by Fulbright Program, USA in 2017, Université Côte d’Azur, France in 2022, and Programme PAUSE, Collège de France in 2022–2023.

    Communicated by Andrew Adamatzky

    References

    • 1. 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. Google Scholar
    • 2. D. Zaitsev, 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 (2023), https://doi.org/10.1080/17445760.2023.2201002. Crossref, Web of ScienceGoogle Scholar
    • 3. D. A. Zaitsev, Strong Sleptsov nets are Turing complete, Information Sciences 621 (2023) 172–182. Crossref, Web of ScienceGoogle Scholar
    • 4. D. A. Zaitsev, Sleptsov nets run fast, IEEE Transactions on Systems, Man, and Cybernetics: Systems 46(5) (2016) 682–693. Crossref, Web of ScienceGoogle Scholar
    • 5. J. Dongarra, A Not So Simple Matter of Software, ACM A.M. Turing Award Lecture, the 2022 International Conference for High Performance Computing, Networking, Storage, and Analysis (SC22), November 8, 2022, https://youtu.be/lsnRP9akCDk. Google Scholar
    • 6. A. Petitet, R. C. Whaley, J. Dongarra and A. Cleary, HPL – A Portable Implementation of the High-Performance Linpack Benchmark for Distributed-Memory Computers, Version 2.3, December 2, 2018 https://netlib.org/benchmark/hpl. Google Scholar
    • 7. LINPACK, https://netlib.org/linpack. Google Scholar
    • 8. Top500. The list. https://top500.org. Google Scholar
    • 9. The High Performance Conjugate Gradients (HPCG) Benchmark. https://www.hpcg-benchmark.org. Google Scholar
    • 10. Fugaku, RIKEN Center for Computational Science, https://www.r-ccs.riken.jp/en/fugaku/. Google Scholar
    • 11. D. A. Zaitsev, Solving operative management tasks of a discrete manufacture via Petri net models. PhD thesis. Kiev, the Academy of sciences of Ukraine, Institute of Cybernetics name of V.M.Glushkov, 1991. http://daze.ho.ua/daze-phd-1991.pdf. Google Scholar
    • 12. D. A. Zaitsev and A. I. Sleptsov, State equations and equivalent transformations for timed Petri nets, Cybernetics and Systems Analysis 33(5) (1997) 659–672. Crossref, Web of ScienceGoogle Scholar
    • 13. D. A. Zaitsev, Enterprise Petri net based CAM software Opera-Topaz, in Proc. of 3rd International Industrial Simulation Conference 2005 (ISC 2005 ), IPK Fraunhofer Institute, Berlin, Germany, June 9–11, 2005, pp. 124–128. Google Scholar
    • 14. G. Paun, M. Ionescu and T. Yokomori, Spiking neural P systems with an exhaustive use of rules, Int. J. Unconv. Comput. 3 (2007) 135–153. Web of ScienceGoogle Scholar
    • 15. L. Qian and E. Winfree, Scaling up digital circuit computation with DNA strand displacement cascades, Science 332(6034) (2011) 1196–1201. Crossref, Web of ScienceGoogle Scholar
    • 16. D. A. Zaitsev, Toward the minimal universal Petri net, IEEE Transactions on Systems, Man, and Cybernetics: Systems 44(1) (2014) 47–58. Crossref, Web of ScienceGoogle Scholar
    • 17. D. A. Zaitsev and J. Jürjens, Programming in the Sleptsov net language for systems control, Advances in Mechanical Engineering 8(4) (2016) 1–11. Crossref, Web of ScienceGoogle Scholar
    • 18. D. A. Zaitsev, Universal Sleptsov net, International Journal of Computer Mathematics 94(12) (2017) 2396–2408. Crossref, Web of ScienceGoogle Scholar
    • 19. G. Booch, J. Rumbaugh and I. Jacobson, The Unified Modeling Language User Guide (Addison-Wesley, 2005). Google Scholar
    • 20. B. Berthomieu, F. Vernadat and S. dal Zilio, TINA: Time Petri Net Analyzer, https://projects.laas.fr/tina/index.php. Google Scholar
    • 21. D. A. Zaitsev, NDRtoSN: Converter of Tina NDR Petri net file to Sleptsov net file, https://github.com/dazeorgacm/NDRtoSN. Google Scholar
    • 22. Q. Zhang, SN-VM: Sleptsov net Virtual Machine, https://github.com/zhangq9919. Google Scholar
    • 23. Tatiana R. Shmeleva, SN-VM-GPU: Sleptsov Net Virtual Machine on Graphics Processing Unit, https://github.com/tishtri/SN-VM-GPU. Google Scholar
    • 24. H. Zhao, HSNtoLSN: Compiler-linker of hierarchical Sleptsov net program, https://github.com/HfZhao1998/Compiler-and-Linker-of-Sleptsov-net-Program. Google Scholar
    • 25. D. A. Zaitsev and D. E. Probert, Preface for special issue Petri/Sleptsov net based technology of programming for parallel, emergent and distributed systems, International Journal of Parallel, Emergent and Distributed Systems 36(6) (2021) 495–497. Crossref, Web of ScienceGoogle Scholar
    • 26. D. A. Zaitsev, Paradigm of computations on the Petri nets, Automation and Remote Control 75(8) (2014) 1369–1383. Crossref, Web of ScienceGoogle Scholar
    • 27. F. L. Tiplea and R. A. Diaconu, Petri net computers and workflow nets, IEEE Trans. Syst. Man Cyber Syst. 45(3) (2015) 496–507. Crossref, Web of ScienceGoogle Scholar
    • 28. A. A. Kostikov, N. D. Zaitsev and O. V. Subotin, Realisation of the double sweep method by using a Sleptsov net, International Journal of Parallel, Emergent and Distributed Systems 36(6) (2021) 516–534. Crossref, Web of ScienceGoogle Scholar
    • 29. T. R. Shmeleva, J. W. Owsiński and A. A. Lawan, Deep learning on Sleptsov nets, International Journal of Parallel, Emergent and Distributed Systems 36(6) (2021) 535–548. Crossref, Web of ScienceGoogle Scholar
    • 30. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach (Springer, London) (2009). Google Scholar
    • 31. Y. Chen and Z. Li and K. Barkaoui, Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems, Information Sciences 256 (2014) 74–90. Crossref, Web of ScienceGoogle Scholar
    • 32. Y. Hou, D. Liu and M. Zhou, On iterative liveness-enforcement for a class of generalized Petri nets, in 2012 IEEE International Conference on Automation Science and Engineering (CASE ), 2012, Seoul, Korea (South), pp. 188–193. Google Scholar
    • 33. Q. Zhang, D. Liu and Y. Hou, Sleptsov net processor, in International Conference on Problems of Infocommunications. Science and Technology (PICST2022), 10–12 October, 2022, Kyiv, Ukraine. Google Scholar
    • 34. H. Zhao, D. Liu and Y. Hou, Compiler and linker of Sleptsov net program, in International Conference on Problems of Infocommunications, Science and Technology (PICST2022), 10–12 October, 2022, Kyiv, Ukraine. Google Scholar
    • 35. D. B. Kirk, W. Hwu, Programming Massively Parallel Processors: A Hands-on Approach, 3rd edition (Morgan Kaufmann, 2016). Google Scholar
    • 36. D. A. Zaitsev and M. Zhou, From strong to exact Petri net computers, International Journal of Parallel, Emergent and Distributed Systems 37(2) (2022) 167–186. Crossref, Web of ScienceGoogle Scholar
    • 37. B. Berthomieu, D. Le Botlan and S. Dal Zilio, Counting Petri net markings from reduction equations, International Journal on Software Tools for Technology Transfer 22(2) (2020) 163–181. Crossref, Web of ScienceGoogle Scholar
    • 38. D. A. Zaitsev, Clans of Petri Nets: Verification of Protocols and Performance Evaluation of Networks (LAP LAMBERT Academic Publishing, 2013), 292 pp. Google Scholar
    • 39. D. Zaitsev, S. Tomov and J. Dongarra, Solving linear diophantine systems on parallel architectures, IEEE Transactions on Parallel and Distributed Systems 30(5) (2019) 1158–1169. Crossref, Web of ScienceGoogle Scholar
    • 40. B. Chapman, G. Jost and R. van der Pas, Using OpenMP Portable Shared Memory Parallel Programming (MIT Press, 2007). Google Scholar
    • 41. I. V. Vel’bitsky et al., R-technology of programming: Basic notions and implementation, J. of Comput. Sci. & Technol. 7 (1992) 345–355. CrossrefGoogle Scholar
    • 42. D. Thain, Introduction to Compilers and Language Design, 2nd edition (2020). Google Scholar
    • 43. P. Michel, The Busy Beaver Competition: A historical survey (2017), hal-00396880v6. Google Scholar
    • 44. R. J. Lipton, The reachability problem requires exponential space. Tech. Rep., 1976. [Online]. Available from: http://www.cs.yale.edu/publications/techreports/tr63.pdf. Google Scholar
    • 45. S. Abdulah, Q. Cao, Y. Pei, G. Bosilca, J. Dongarra, M. G. Genton, D. E. Keyes, H. Ltaief and Y. Sun, Accelerating geostatistical modeling and prediction with mixed-precision computations: A high-productivity approach with PaRSEC, IEEE Transactions on Parallel and Distributed Systems 33(4) (2022) 964–976. Crossref, Web of ScienceGoogle Scholar