Faster simulation of (Coloured) Petri nets using parallel computing - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

Faster simulation of (Coloured) Petri nets using parallel computing

Abstract

Fast simulation, i.e., automatic computation of sequential runs, is widely used to analyse Petri nets. In particular, it enables for quantitative statistical analysis by observing large sets of runs. Moreover, fast simulation may be used to actually run a Petri net model as a (prototype) implementation of a system, in which case such a net would embed fragments of the code of the system. In both these contexts, being able to perform faster simulation is highly desirable. In this paper, we propose a way to accelerate fast simulation by exploiting parallel computing, targeting both the multi-core cpus available nowadays in every laptop or workstation, and larger parallel computers including those with distributed memory (clusters). We design an algorithm to do so and assess in particular its correctness and completeness through its formal modelling as a Petri net whose state space is analysed. We also present a benchmark of a prototype implementation that clearly shows how our algorithm effectively accelerates fast simulation, in particular in the case of large concurrent coloured Petri nets, which is precisely the kind of nets that are usually slow to simulate.
Fichier principal
Vignette du fichier
medusa.pdf (3.62 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01533514 , version 1 (08-10-2019)

Identifiers

Cite

Franck Pommereau, Jordan de La Houssaye. Faster simulation of (Coloured) Petri nets using parallel computing. 38th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2017), Jun 2017, Zaragoza, Spain. pp.37--56, ⟨10.1007/978-3-319-57861-3_4⟩. ⟨hal-01533514⟩
110 View
209 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More