scientific article; zbMATH DE number 7804572

zbMath1530.68192arXiv2101.09100MaRDI QIDQ6153327

Unnamed Author, Daniele Palombi, Fosco Loregiàn

Publication date: 13 February 2024

Full work available at URL: https://arxiv.org/abs/2101.09100

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical semantics of formal languages (18C50)

Cites Work

• Unnamed Item
• Petri nets are monoids
• Universal Petri net
• Connector algebras for C/E and P/T nets' interactions
• Encoding Asynchronous Interactions Using Open Petri Nets
• Petri nets based on Lawvere theories
• Introduction to bicategories
• Understanding Petri Nets
• On the category of Petri net computations
• Open Petri nets
• A compositional framework for reaction networks

This page was built for publication: