Applications and Theory of Petri Nets 2004

DOI10.1007/B98283zbMath1094.68063OpenAlexW2495597431WikidataQ56892631 ScholiaQ56892631MaRDI QIDQ5712334

Michael Köhler-Bußmeier, Heiko Rölke

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 (5)

Model checking Petri nets with names using data-centric dynamic systems ⋮ Complexity Results for Elementary Hornets ⋮ Recursive Petri nets ⋮ Decidability and complexity of Petri nets with unordered data ⋮ Hornets: Nets within Nets Combined with Net Algebra

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