An axiomatization of the algebra of Petri net concatenable processes

DOI10.1016/S0304-3975(96)80709-2zbMATH Open0874.68224OpenAlexW4256193793MaRDI QIDQ672052FDOQ672052

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

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

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)

Cites Work

• Title not available (Why is that?)
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• On MacLane's conditions for coherence of natural associativities, commutativities, etc
• Title not available (Why is that?)
• Categorical algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• The non-sequential behaviour of Petri nets
• Sequential and concurrent behaviour in Petri net theory
• Petri nets are monoids
• Title not available (Why is that?)
• Axiomatizing Petri net concatenable processes
• On the category of Petri net computations

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
• CONCUR 2005 – Concurrency Theory
• Axiomatizing the algebra of net computations and processes
• Merged processes: a new condensed representation of Petri net behaviour
• Petri Nets Are Dioids
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Open Petri nets
• Normal forms for algebras of connections.
• Axiomatizing Petri net concatenable processes
• On the category of Petri net computations
• Title not available (Why is that?)

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)