Synthesising Elementary Net Systems with Interval Order Semantics

Elementary net systems are fundamental Petri net models with very simple markings which are sets of places. Their standard semantics is based on sequences of executed transitions, which can be understood as (labelled) total orders. In this paper, we consider a newly proposed 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 a region of a transition system can still be applied.