On Profiles and Footprints – Relational Semantics for Petri Nets
From MaRDI portal
Publication:2908204
DOI10.1007/978-3-642-31131-4_9zbMath1358.90067OpenAlexW2161674450MaRDI QIDQ2908204
Jan Martijn E. M. van der Werf, Matthias Weidlich
Publication date: 4 September 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31131-4_9
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of organizations, manpower planning in operations research (90B70)
Related Items (3)
On the expressive power of behavioral profiles ⋮ Discovering Block-Structured Process Models from Incomplete Event Logs ⋮ The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems
This page was built for publication: On Profiles and Footprints – Relational Semantics for Petri Nets
