A geometric characterisation of event/state separation

DOI10.1007/978-3-319-91268-4_6MaRDI QIDQ2280181zbMATH OpenOpenAlexFDO

Authors Uli Schlachter, Harro Wimmel

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)

Recommendations

• A graph-theoretical characterisation of state separation
• Topics in region theory and synthesis problems
• scientific article; zbMATH DE number 1302048
• Characterisation of the state spaces of marked graph Petri nets
• Relabelling LTS for Petri net synthesis via solving separation problems

Cited in

(6)

• Presynthesis of bounded choice-free or fork-attribution nets
• A graph-theoretical characterisation of state separation
• The label splitting problem
• Target-oriented Petri net synthesis
• Automated repair of process models with non-local constraints using state-based region theory
• Automated repair of process models using non-local constraints

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2280181)