Applications and Theory of Petri Nets 2005
From MaRDI portal
Publication:5713505
DOI10.1007/b136988zbMath1128.68391MaRDI QIDQ5713505
Alexander Serebrenik, K. M. van Hee, Marc Voorhoeve, Natalia Sidorova
Publication date: 14 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b136988
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Model checking Petri nets with names using data-centric dynamic systems, Soundness of workflow nets: classification, decidability, and analysis, Decidability and complexity of Petri nets with unordered data, Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource, On the Synthesis of Zero-Safe Nets