The ePNK: An Extensible Petri Net Tool for PNML

DOI10.1007/978-3-642-21834-7_18zbMath1330.68208OpenAlexW37800313MaRDI QIDQ3011897

Ekkart Kindler

Publication date: 29 June 2011

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-21834-7_18

zbMATH Keywords

extensibilityISO/IEC 15909Petri Net Markup Language (PNML)Petri net tool

Mathematics Subject Classification ID

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

Related Items (2)

Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets ⋮ PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets

Uses Software

• PNML
• ePNK

Cites Work

• The Petri net kernel. An infrastructure for building Petri net tools

This page was built for publication: The ePNK: An Extensible Petri Net Tool for PNML