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)

• Target-oriented Petri net synthesis
• Presynthesis of bounded choice-free or fork-attribution nets
• Automated repair of process models using non-local constraints
• The label splitting problem
• A graph-theoretical characterisation of state separation
• 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

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