Extending pnml Scope: A Framework to Combine Petri Nets Types

DOI10.1007/978-3-642-35179-2_3zbMath1377.68148OpenAlexW41777355MaRDI QIDQ4909349

Fabrice Kordon, Charles A. Lakos, Lom-Messan Hillah, Laure Petrucci

Publication date: 13 March 2013

Published in: Transactions on Petri Nets and Other Models of Concurrency VI (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35179-2_3

zbMATH Keywords

time netsstandardisationPNMLprioritised Petri nets

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: Extending pnml Scope: A Framework to Combine Petri Nets Types