Toggle Main Menu Toggle Search

Open Access padlockePrints

Practical Distributed Implementation of Very Large Scale Petri Net Simulations

Lookup NU author(s): Dr Ashur Rafiev, Dr Jordan Morris, Dr Fei Xia, Professor Alex Yakovlev



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.

Publication metadata

Author(s): Rafiev A, Morris J, Xia F, Yakovlev A, Naylor M, Moore S, Thomas D, Bragg G, Vousden M, Brown A

Publication type: Book Chapter

Publication status: Published

Book Title: Transactions on Petri Nets and Other Models of Concurrency XVI

Year: 2022

Volume: 13220

Pages: 112-139

Print publication date: 28/05/2022

Online publication date: 20/04/2022

Acceptance date: 01/02/2022

Series Title: Lecture Notes in Computer Science

Publisher: Springer

Place Published: Berlin


DOI: 10.1007/978-3-662-65303-6_6

ePrints DOI: 10.57711/crqh-mv08

Notes: Also part of the Transactions on Petri Nets and Other Models of Concurrency book sub series (TOPNOC, volume 13220).

Library holdings: Search Newcastle University Library for this item

ISBN: 9783662653029