Towards a Standard for Modular Petri Nets: A Formalisation

DOI10.1007/978-3-642-02424-5_5zbMath1242.68180OpenAlexW1566637130MaRDI QIDQ3636839

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

modular Petri netshigh-level netsstandardisation

Mathematics Subject Classification ID

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

Related Items (1)

Lifted structural invariant analysis of Petri net product lines

Uses Software

• PNML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri nets and algebraic specifications
• A symbolic reachability graph for coloured Petri nets
• Modular Analysis of Petri Nets
• The Petri Net Markup Language

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