Abstract processes and conflicts in place/transition systems

DOI10.1016/J.IC.2021.104706OpenAlexW3128227552MaRDI QIDQ2051771FDOQ2051771

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

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

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

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

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)