Semantics of Inhibitor Nets

We discuss an abstract semantics of concurrent systems generalising causal partial orders. The new semantics employs relational structures-called stratified order structures-which comprise causal partial orders and weak causal partial orders. Stratified order structures can be represented by certain equivalence classes of step sequences-comtraces-directly generalising Mazurkiewicz traces. We use Elementary Net Systems with inhibitor arcs as a …