Petri nets based on Lawvere theories

DOI10.1017/S0960129520000262zbMath1492.68097arXiv1904.09091MaRDI QIDQ3386752

Jade Master

Publication date: 7 January 2021

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

operational semanticsPetri netscategory theoryLawvere theory

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Special properties of functors (faithful, full, etc.) (18A22) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monoidal categories, symmetric monoidal categories (18M05)

Related Items

A Categorical Semantics for Guarded Petri Nets ⋮ Unnamed Item ⋮ Nets with mana: a framework for chemical reaction modelling

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An axiomatization of the algebra of Petri net concatenable processes
• Petri nets are monoids
• The geometry of tensor calculus. I
• Algebraic theories of quasivarieties
• Functorial models for Petri nets
• Note on the construction of free monoids
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Lending Petri Nets and Contracts
• On the category of Petri net computations
• Open Petri nets
• Adjoint triangles
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES