Practical distributed implementation of very large scale petri net simulations

Rafiev, Ashur, Morris, Jordan, Xia, Fei, Yakovlev, Alex, Naylor, Matthew, Moore, Simon, Thomas, David, Bragg, Graeme, Vousden, Mark and Brown, Andrew (2022) Practical distributed implementation of very large scale petri net simulations. Koutny, Maciej, Kordon, Fabrice and Moldt, Daniel (eds.) In Transactions on Petri Nets and Other Models of Concurrency XVI. vol. 13220 LNCS, Springer Berlin, Heidelberg. pp. 112-139 . (doi:10.1007/978-3-662-65303-6_6).

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 record has no associated files available for download.

Contributors

Author: David Thomas

Author: Graeme Bragg

Download statistics