Partial order semantics and read arcs

DOI10.1016/S0304-3975(01)00234-1zbMath1016.68051OpenAlexW1587747784MaRDI QIDQ1608891

Walter Vogler

Publication date: 13 August 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(01)00234-1

zbMATH Keywords

Petri netspartial order semanticsconcurrencySzpilrajn's theoreminternal orders

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Boolean networks: beyond generalized asynchronicity ⋮ Process semantics of general inhibitor nets ⋮ Non-atomic Transition Firing in Contextual Nets ⋮ Classifying invariant structures of step traces ⋮ On Interval Semantics of Inhibitor and Activator Nets ⋮ Concurrency in Boolean networks ⋮ A PO characterisation of reconfiguration ⋮ Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing ⋮ Interval semantics for Petri nets with inhibitor arcs ⋮ Modeling concurrency with interval traces ⋮ Step traces ⋮ Modeling biological gradient formation: combining partial differential equations and Petri nets ⋮ Algebraic Structure of Step Traces and Interval Traces ⋮ Pomset bisimulation and unfolding for reset Petri nets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modular construction and partial order semantics of Petri nets
• Timed testing of concurrent systems
• Contextual nets
• The limit of split\(_ n\)-language equivalence
• Semantics of inhibitor nets
• Betweenness, orders and interval graphs
• Efficiency of asynchronous systems and read arcs in petri nets
• Non sequential semantics for contextual P/T nets