Towards a Standard for Modular Petri Nets: A Formalisation

DOI10.1007/978-3-642-02424-5_5MaRDI QIDQ3636839zbMATH OpenOpenAlexFDO

Authors Laure Petrucci, Ekkart Kindler

Publication date 30 June 2009

Published in Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02424-5_5

zbMATH Keywords

high-level netsmodular Petri netsstandardisation

Mathematics Subject Classification ID

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

Recommendations

• Generalizing the compositions of Petri nets modules
• Unifying the semantics of modular extensions of Petri nets
• PN Standardisation: A Survey
• The Petri net markup language
• Petri net modules in the transformation-based component framework

Cites work

• A symbolic reachability graph for coloured Petri nets
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 4030998 (Why is no real title available?)
• scientific article; zbMATH DE number 107927 (Why is no real title available?)
• Modular Analysis of Petri Nets
• Petri nets and algebraic specifications
• The Petri net markup language

Cited in

(7)

• Lifted structural invariant analysis of Petri net product lines
• Generalizing the compositions of Petri nets modules
• PN Standardisation: A Survey
• Extending PNML scope: a framework to combine Petri nets types
• scientific article; zbMATH DE number 1442035 (Why is no real title available?)
• Unifying the semantics of modular extensions of Petri nets
• The Petri net markup language

Describes a project that uses

Uses Software

• PNML

This page was built for publication: Towards a Standard for Modular Petri Nets: A Formalisation

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