Abstract processes and conflicts in place/transition systems

DOI10.1016/j.ic.2021.104706OpenAlexW3128227552MaRDI QIDQ2051771

Jens-Wolfhard Schicke-Uffmann, Robert J. van Glabbeek, Goltz, Ursula

Publication date: 25 November 2021

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2103.01490

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items

Abstract processes in the absence of conflicts in general place/transition systems

Cites Work

• Unnamed Item
• 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
• Deterministic buffer synchronization of sequential processes
• 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
• Parallel program schemata
• On Characterising Distributability
• On Causal Semantics of Petri Nets
• The non-sequential behaviour of Petri nets
• Properties of Conflict-Free and Persistent Petri Nets
• On the semantics of place/transition Petri nets
• CONCUR 2005 – Concurrency Theory