Journal article
Operational Semantics, Interval Orders and Sequences of Antichains
Abstract
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 proposed and investigated for a general class of safe Petri nets with context arcs.
Authors
Janicki R; Koutny M
Journal
Fundamenta Informaticae, Vol. 169, No. 1-2, pp. 31–55
Publisher
SAGE Publications
Publication Date
October 10, 2019
DOI
10.3233/fi-2019-1838
ISSN
0169-2968