An extensible editor and simulation engine for Petri nets: Renew

DOI10.1007/978-3-540-27793-4_29MaRDI QIDQ5712355zbMATH OpenOpenAlexFDO

Authors Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler-Bußmeier, Daniel Moldt, Heiko Rölke, Ruediger Valk

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b98283

Mathematics Subject Classification ID

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

Recommendations

• A Petri net system -- an overview
• Object Petri nets. Using the nets-within-nets paradigm.
• CPN/Tools: A tool for editing and simulating coloured Petri nets. ETAPS tool demonstration related to TACAS
• scientific article; zbMATH DE number 1293728
• scientific article; zbMATH DE number 177238

Cited in

(9)

• Renew
• Nested-unit Petri nets
• Recursive Petri nets
• CPN/Tools: A tool for editing and simulating coloured Petri nets. ETAPS tool demonstration related to TACAS
• Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
• Workflow management principles for interactions between Petri net-based agents
• The ePNK: an extensible Petri net tool for PNML
• CPN/Tools: A post-WIMP interface for editing and simulating coloured Petri nets
• Modular rewritable Petri nets: an efficient model for dynamic distributed systems

Describes a project that uses

Uses Software

• PNML

This page was built for publication: An extensible editor and simulation engine for Petri nets: Renew

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