Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains

A representation of interval orders by sequences of antichains is discussed and its relationship to the Fishburn’s representation by sequences of beginnings and endings is analyzed in detail. Using sequences of antichains to model operational semantics of elementary inhibitor nets is also discussed.