Abstract
With the continued increase of size and complexity of contemporary digital systems, there is a growing need for models of large size and high complexity, as well as methods of analyzing such models. This paper presents a method for simulating large-scale concurrent Petri net models using parallel distributed hardware platforms. By using POETS architecture, our method allows the mapping of concurrent Petri net executions onto 49,152 parallel processing hardware threads to achieve orders of magnitude (45 to 220 times) improvements of simulation speed, compared to conventional simulation methods using single processor systems. The presented method employs techniques including Petri net model partitioning, the use of max-step and locally-interleaving semantics, and the fair firing of transitions.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Poliakov, I., Mokhov, A., Rafiev, A., Sokolov, D., Yakovlev, A.: Automated verification of asynchronous circuits using circuit petri nets. In: 14th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2008, Newcastle upon Tyne, UK, 7–10 April 2008, pp. 161–170. IEEE Computer Society (2008). https://doi.org/10.1109/ASYNC.2008.18
Bertens, L.M.F., Kleijn, J., Koutny, M., Verbeek, F.J.: Modelling gradients using petri nets. In: Proceedings of the Workshops of PETRI NETS 2010 and ACSD 2010, Braga, Portugal, June 2010, vol. 827, pp. 39–53 (2010). http://ceur-ws.org/Vol-827/4_LauraBertens_article.pdf
Wheeldon, A., Yakovlev, A., Shafik, R.: Self-timed reinforcement learning using tsetlin machine. In: 27th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC, 7–10 September 2021, pp. 40–47. IEEE Computer Society (2021). https://arxiv.org/abs/2109.00846
Shafik, R., Wheeldon, A., Yakovlev, A.: Explainability and dependability analysis of learning automata based AI hardware. In: 2020 IEEE 26th International Symposium on On-Line Testing and Robust System Design (IOLTS) (2020)
Mitrani, I.: Simulation Techniques for Discrete Event Systems. Cambridge University Press, Cambridge (2009)
Poliakov, I.: Interpreted graph models. School of Electrical, Electronic and Computer Engineering, Ph.D. thesis (2011). https://theses.ncl.ac.uk/jspui/bitstream/10443/1183/1/Poliakov11.pdf
Poliakov, I., Khomenko, V., Yakovlev, A.: Workcraft – a framework for interpreted graph models. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 333–342. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02424-5_21. http://workcraft.org
Khomenko, V.: Model checking based on prefixes of Petri Net unfoldings. School of Computing Science, Newcastle University, Ph.D. thesis (2003). https://theses.ncl.ac.uk/jspui/handle/10443/743
Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Trans. Inf. Syst. E80–D(3), 315–325 (1997)
Janicki, R., Lauer, P.E., Koutny, M., Devillers, R.R.: Concurrent and maximally concurrent evolution of nonsequential systems. Theor. Comput. Sci. 43, 213–238 (1986). https://doi.org/10.1016/0304-3975(86)90177-5
Bergenthum, R.: Firing partial orders in a petri net. In: Buchs, D., Carmona, J. (eds.) PETRI NETS 2021. LNCS, vol. 12734, pp. 399–419. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-76983-3_20
Misra, J.: Distributed discrete-event simulation. ACM Comput. Surv. 18(1), 39–65 (1986). https://doi.org/10.1145/6462.6485
Ferscha, A.: Parallel and distributed simulation of Petri Nets (tutorial). In: Performance Tools 1995, September 1995. https://www.researchgate.net/publication/2532088
Fernandes, J.: Elastic bundles: modelling and architecting asynchronous circuits with granular rigidity. EEE, School of Engineering, Newcastle University, Ph.D. thesis NCL-EEE-MICRO-TR-2017-206 (2017). http://async.org.uk/tech-reports/NCL-EEE-MICRO-TR-2017-206.pdf
POETS project website. https://poets-project.org
Kroese, D.P., Brereton, T., Taimre, T., Botev, Z.I.: Why the Monte Carlo method is so important today. WIREs Comput. Stat. 6(6), 386–392 (2014)
Brown, A., et al.: Distributed event-based computing (2018). https://gow.epsrc.ukri.org/NGBOViewGrant.aspx ?GrantRef=EP/N031768/1
Naylor, M., Moore, S.W., Thomas, D.: Tinsel: a manythread overlay for FPGA clusters. In: Proceedings to FPL (2019)
RISC-V: The free and open RISC instruction set architecture. https://riscv.org
Naylor, M., et al.: Termination detection for fine-grained message-passing architectures. In: Proceedings to ASAP. IEEE (2020)
Dijkstra, E.W.: Shmuel Safra’s version of termination detection. https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
Knuth, D.E.: The Art of Computer Programming, Volume 2: Seminumerical Algorithms, 3rd edn. Addison-Wesley, Boston (1997)
Acknowledgment
This work is supported by EPSRC/UK as a part of the POETS project EP/N031768/1.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer-Verlag GmbH Germany, part of Springer Nature
About this chapter
Cite this chapter
Rafiev, A. et al. (2022). Practical Distributed Implementation of Very Large Scale Petri Net Simulations. In: Koutny, M., Kordon, F., Moldt, D. (eds) Transactions on Petri Nets and Other Models of Concurrency XVI. Lecture Notes in Computer Science(), vol 13220. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-65303-6_6
Download citation
DOI: https://doi.org/10.1007/978-3-662-65303-6_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-65302-9
Online ISBN: 978-3-662-65303-6
eBook Packages: Computer ScienceComputer Science (R0)