Applications and Theory of Petri Nets 2004

DOI10.1007/b98283zbMath1094.68589OpenAlexW2495597431WikidataQ56892631 ScholiaQ56892631MaRDI QIDQ5712355

Michael Köhler-Bußmeier, Jörn Schumacher, Daniel Moldt, Heiko Rölke, Frank Wienberg, Michael Duvigneau, Olaf Kummer, 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)

Related Items (6)

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 ⋮ Nested-unit Petri nets ⋮ Modular rewritable Petri nets: an efficient model for dynamic distributed systems ⋮ Recursive Petri nets ⋮ Renew

Uses Software

• PNML

This page was built for publication: Applications and Theory of Petri Nets 2004