Partial order semantics and read arcs
From MaRDI portal
Publication:1608891
DOI10.1016/S0304-3975(01)00234-1zbMath1016.68051MaRDI QIDQ1608891
Publication date: 13 August 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item