Modeling operational semantics with interval orders represented by sequences of antichains

DOI10.1007/978-3-319-91268-4_13MaRDI QIDQ2280190zbMATH OpenOpenAlexFDO

Authors Ryszard Janicki

Publication date 18 December 2019

Full work available at URL https://doi.org/10.1007/978-3-319-91268-4_13

zbMATH Keywords

interval ordersinterval sequencesoperational semanticselementary inhibitor netssequences of 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)

Recommendations

• Operational semantics, interval orders and sequences of antichains
• On interval process semantics of Petri nets with inhibitor arcs
• Interval semantics for Petri nets with inhibitor arcs
• Modeling concurrency with interval traces
• scientific article; zbMATH DE number 827980

Cited in

(4)

• On Interval Semantics of Inhibitor and Activator Nets
• Operational semantics, interval orders and sequences of antichains
• Posets with interfaces as a model for concurrency
• Generating Posets Beyond N

This page was built for publication: Modeling operational semantics with interval orders represented by sequences of antichains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2280190)