On Causal Semantics of Petri Nets

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

Mathematics Subject Classification ID

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

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