Region theory, as initiated by Ehrenfeucht and Rozenberg, allows the characterisation of the class of Petri net synthesisable finite labelled transition systems. Two kinds of problems need to be solved for such a synthesis, state separation problems for distinguishing states and event/state separation problems for preventing unwanted behaviour. In the present paper, the class of finite labelled transition systems in which all event/state separation problems are solvable shall be characterised geometrically, rather than linear-algebraically.
CITATION STYLE
Schlachter, U., & Wimmel, H. (2018). A geometric characterisation of event/state separation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10877 LNCS, pp. 99–116). Springer Verlag. https://doi.org/10.1007/978-3-319-91268-4_6
Mendeley helps you to discover research relevant for your work.