Abstract processes and conflicts in place/transition systems

DOI10.1016/J.IC.2021.104706MaRDI QIDQ2051771zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Abstract processes of place/transition systems
• On causal semantics of Petri nets (extended abstract)
• scientific article; zbMATH DE number 2087496
• scientific article; zbMATH DE number 1337730
• scientific article; zbMATH DE number 785044

Cites work

• scientific article; zbMATH DE number 4191145 (Why is no real title available?)
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 4033098 (Why is no real title available?)
• scientific article; zbMATH DE number 17833 (Why is no real title available?)
• A trace semantics for Petri nets
• Abstract processes of place/transition systems
• Branching processes of Petri nets
• CONCUR 2005 – Concurrency Theory
• Configuration structures, event structures and Petri nets
• Deterministic buffer synchronization of sequential processes
• Executions: A new partial-order semantics of Petri nets
• On causal semantics of Petri nets (extended abstract)
• On characterising distributability
• On the semantics of place/transition Petri nets
• Parallel program schemata
• Petri nets, event structures and domains. I
• Properties of Conflict-Free and Persistent Petri Nets
• Sequential and concurrent behaviour in Petri net theory
• The non-sequential behaviour of Petri nets

Cited in

(4)

• Abstract processes in the absence of conflicts in general place/transition systems
• Maximal confluent processes
• On causal semantics of Petri nets (extended abstract)
• Abstract processes of place/transition systems

This page was built for publication: Abstract processes and conflicts in place/transition systems

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