A geometric characterisation of event/state separation

DOI10.1007/978-3-319-91268-4_6zbMath1427.68209OpenAlexW2799360552MaRDI QIDQ2280181

Harro Wimmel, Uli Schlachter

Publication date: 18 December 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-91268-4_6

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Automated Repair of Process Models Using Non-local Constraints ⋮ Presynthesis of bounded choice-free or fork-attribution nets ⋮ Target-oriented Petri Net Synthesis ⋮ Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory

This page was built for publication: A geometric characterisation of event/state separation