Fairness and partial order semantics

DOI10.1016/0020-0190(95)00049-IzbMath0875.68622MaRDI QIDQ672492

Walter Vogler

Publication date: 28 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

Petri netsConcurrent systemsFairnessPartial order semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Mutex needs fairness ⋮ Efficiency of asynchronous systems and read arcs in petri nets ⋮ Non-atomic Transition Firing in Contextual Nets ⋮ Concurrency in Boolean networks ⋮ Efficiency of asynchronous systems, read arcs, and the MUTEX-problem

Cites Work

• Modular construction and partial order semantics of Petri nets
• Betweenness, orders and interval graphs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item