Operational Semantics, Interval Orders and Sequences of Antichains

DOI10.3233/FI-2019-1838zbMath1428.68178MaRDI QIDQ5212020

Maciej Koutny, Ryszard Janicki

Publication date: 24 January 2020

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

operational semanticsinterval orderPetri netinterval sequencesequence of maximal antichains

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

On Interval Semantics of Inhibitor and Activator Nets

This page was built for publication: Operational Semantics, Interval Orders and Sequences of Antichains