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

DOI10.1016/J.IC.2022.104939OpenAlexW4283797166MaRDI QIDQ2105420

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

Publication date: 8 December 2022

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

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

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• A trace semantics for Petri nets
• Axiomatizing the algebra of net computations and processes
• Abstract processes of place/transition systems
• Abstract processes and conflicts in place/transition systems
• On Causal Semantics of Petri Nets
• The non-sequential behaviour of Petri nets

This page was built for publication: Abstract processes in the absence of conflicts in general place/transition systems