Operational Semantics, Interval Orders and Sequences of Antichains
Year: 2019
Type: article
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 prop osed and investigated for a general class of safe Petri nets with context arcs.
Source: Fundamenta Informaticae
DOI: 10.3233/fi-2019-1838
Authors: Ryszard Janicki, Maciej Koutny
Institutions: McMaster University, Newcastle University
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2979494118