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
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing, Process semantics of general inhibitor nets, Non-atomic Transition Firing in Contextual Nets
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