Applications and Theory of Petri Nets 2004
From MaRDI portal
Publication:5712334
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
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