Faster simulation of (coloured) Petri nets using parallel computing

DOI10.1007/978-3-319-57861-3_4zbMath1393.68124OpenAlexW2610166603MaRDI QIDQ1662527

Franck Pommereau, Jordan de la Houssaye

Publication date: 20 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-57861-3_4

zbMATH Keywords

Petri netsparallel computingfast simulation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Faster simulation of (coloured) Petri nets using parallel computing