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

DOI10.1016/J.IC.2022.104939MaRDI QIDQ2105420zbMATH OpenOpenAlexFDO

Authors Jens-Wolfhard Schicke-Uffmann, Rob van Glabbeek, Ursula Goltz

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)

Recommendations

• Abstract processes of place/transition systems
• Abstract processes and conflicts in place/transition systems
• On causal semantics of Petri nets (extended abstract)
• The non-sequential behaviour of Petri nets
• scientific article; zbMATH DE number 1337730

Cites work

• A trace semantics for Petri nets
• Abstract processes and conflicts in place/transition systems
• Abstract processes of place/transition systems
• Axiomatizing the algebra of net computations and processes
• On causal semantics of Petri nets (extended abstract)
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2105420)