Nets enriched over closed monoidal structures

DOI10.1007/3-540-44919-1_8MaRDI QIDQ3550613zbMATH OpenOpenAlexFDO

Authors Jules Chenou, Eric Badouel

Publication date 31 March 2010

Published in Applications and Theory of Petri Nets 2003 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44919-1_8

Mathematics Subject Classification ID

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

Recommendations

• Petri nets are monoids
• An axiomatization of the token game based on Petri algebras
• Automata, Languages and Programming
• Executions in (semi-)integer Petri nets are compact closed categories
• Petri Nets Are Dioids

Cited in

(2)

• Executions in (semi-)integer Petri nets are compact closed categories
• An axiomatization of the token game based on Petri algebras

This page was built for publication: Nets enriched over closed monoidal structures

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