An axiomatization of the algebra of Petri net concatenable processes

DOI10.1016/S0304-3975(96)80709-2MaRDI QIDQ672052zbMATH OpenOpenAlexFDO

Authors Vladimiro Sassone

Publication date 27 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(96)80709-2

zbMATH Keywords

symmetric monoidal categoryaxiomatic theoryconcatenable processespetri net

Mathematics Subject Classification ID

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

Recommendations

• Axiomatizing Petri net concatenable processes
• An axiomatization of the category of Petri net computations
• An axiomatic characterization of algebras of processes of Petri nets
• Axiomatizing the algebra of net computations and processes
• scientific article; zbMATH DE number 1223715

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?)
• Axiomatizing Petri net concatenable processes
• Categorical algebra
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• On the category of Petri net computations
• Petri nets are monoids
• Sequential and concurrent behaviour in Petri net theory
• The non-sequential behaviour of Petri nets

Cited in

(20)

• Functorial models for Petri nets
• Concurrency for Graph Grammars in a Petri net shell
• Executions in (semi-)integer Petri nets are compact closed categories
• Relaxed models for rewriting logic
• Axiomatizing the algebra of net computations and processes
• CONCUR 2005 – Concurrency Theory
• Merged processes: a new condensed representation of Petri net behaviour
• Petri Nets Are Dioids
• scientific article; zbMATH DE number 2064462 (Why is no real title available?)
• Petri nets based on Lawvere theories
• Zero-safe nets: Comparing the collective and individual token approaches.
• Process algebras for Petri nets. The alphabetization of distributed systems
• An algebraic characterization of independence of Petri net processes
• An axiomatic characterization of algebras of processes of Petri nets
• scientific article; zbMATH DE number 591002 (Why is no real title available?)
• Open Petri nets
• Normal forms for algebras of connections.
• Axiomatizing Petri net concatenable processes
• On the category of Petri net computations
• scientific article; zbMATH DE number 4191145 (Why is no real title available?)

This page was built for publication: An axiomatization of the algebra of Petri net concatenable processes

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