Axiomatizing Petri net concatenable processes

DOI10.1007/3-540-60249-6_73MaRDI QIDQ5055915zbMATH OpenOpenAlexFDO

Authors Vladimiro Sassone

Publication date 9 December 2022

Published in Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60249-6_73

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An axiomatization of the algebra of Petri net concatenable processes
• An axiomatic characterization of algebras of processes of Petri nets
• scientific article; zbMATH DE number 591002
• scientific article; zbMATH DE number 1088051
• Axiomatising Finite Concurrent Processes
• scientific article; zbMATH DE number 13472
• An axiomatization of the category of Petri net computations
• scientific article; zbMATH DE number 3967922
• scientific article; zbMATH DE number 3980501
• scientific article; zbMATH DE number 4047138

Cites work

• scientific article; zbMATH DE number 4191145 (Why is no real title available?)
• scientific article; zbMATH DE number 3179491 (Why is no real title available?)
• scientific article; zbMATH DE number 3305156 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3385867 (Why is no real title available?)
• Categorical algebra
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• Petri nets are monoids
• Sequential and concurrent behaviour in Petri net theory
• The non-sequential behaviour of Petri nets

Cited in

(10)

• scientific article; zbMATH DE number 1088051 (Why is no real title available?)
• Axiomatizing the algebra of net computations and processes
• CONCUR 2005 – Concurrency Theory
• Merged processes: a new condensed representation of Petri net behaviour
• scientific article; zbMATH DE number 2064462 (Why is no real title available?)
• Process versus unfolding semantics for Place/Transition Petri nets
• scientific article; zbMATH DE number 591002 (Why is no real title available?)
• On the category of Petri net computations
• scientific article; zbMATH DE number 4191145 (Why is no real title available?)
• An axiomatization of the algebra of Petri net concatenable processes

This page was built for publication: Axiomatizing Petri net concatenable processes

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