A Geometric Characterisation of Event/State Separation

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.