On Causal Semantics of Petri Nets
From MaRDI portal
Publication:3090821
DOI10.1007/978-3-642-23217-6_4zbMath1343.68179arXiv2103.00729OpenAlexW138832829MaRDI QIDQ3090821
Goltz, Ursula, Robert J. van Glabbeek, Jens-Wolfhard Schicke
Publication date: 2 September 2011
Published in: CONCUR 2011 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2103.00729
Related Items (6)
Comparative trace semantics of time Petri nets ⋮ Testing equivalences of time Petri nets ⋮ Synthesis and reengineering of persistent systems ⋮ Abstract processes and conflicts in place/transition systems ⋮ Observable liveness of Petri nets ⋮ Abstract processes in the absence of conflicts in general place/transition systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Configuration structures, event structures and Petri nets
- Sequential and concurrent behaviour in Petri net theory
- Petri nets, event structures and domains. I
- Branching processes of Petri nets
- Executions: A new partial-order semantics of Petri nets
- A trace semantics for Petri nets
- Abstract processes of place/transition systems
- The non-sequential behaviour of Petri nets
- On the semantics of place/transition Petri nets
- CONCUR 2005 – Concurrency Theory
- Refinement of actions and equivalence notions for concurrent systems
This page was built for publication: On Causal Semantics of Petri Nets