Extending PNML scope: a framework to combine Petri nets types

DOI10.1007/978-3-642-35179-2_3MaRDI QIDQ4909349zbMATH OpenOpenAlexFDO

Authors Lom-Messan Hillah, Fabrice Kordon, Charles A. Lakos, 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

PNMLprioritised Petri netsstandardisationtime nets

Mathematics Subject Classification ID

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

Recommendations

• The ePNK: an extensible Petri net tool for PNML
• PN Standardisation: A Survey
• The Petri net markup language
• Towards a Standard for Modular Petri Nets: A Formalisation
• Extensional Petri net

Cited in

(4)

• The ePNK: an extensible Petri net tool for PNML
• PN Standardisation: A Survey
• The Petri net markup language
• Transforming dynamic condition response graphs to safe Petri nets

This page was built for publication: Extending PNML scope: a framework to combine Petri nets types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4909349)