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
Correctness Notions for Petri Nets with Identifiers, 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