Operational Semantics, Interval Orders and Sequences of Antichains
Ryszard Janicki, Maciej Koutny · Fundamenta Informaticae · 2019
A representation of interval orders by sequences of antichains is discussed, and its relationship to the Fishburn’s representation by sequences of the beginnings and endings of domain elements is analysed in detail. Moreover, an operational semantics based on sequences of maximal antichains is prop osed and investigated for a general class of safe Petri nets with context arcs.