Synthesising ENI-Systems with Interval Order Semantics

Elementary net systems with inhibitor arcs are a class of fundamental Petri net models with very simple markings which are sets of places. Their standard semantics is based on sequences of executed transitions or, alternatively, as labelled total orders. In this paper, we introduce semantics based on interval (partial) orders which allows one to describe behaviours where transitions have non-atomic duration. For such a semantical model, we consider the net synthesis problem, and show that the standard notion of a region of transition system (providing input to the synthesis procedure) can still be applied after suitable modifications.