Petri nets based on Lawvere theories

DOI10.1017/S0960129520000262zbMATH Open1492.68097arXiv1904.09091MaRDI QIDQ3386752FDOQ3386752

Jade Master

Publication date: 7 January 2021

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

Abstract: We give a definition of $mathsfQ$-net, a generalization of Petri nets based on a Lawvere theory $mathsfQ$, for which many existing variants of Petri nets are a special case. This definition is functorial with respect to change in Lawvere theory, and we exploit this to explore the relationships between different kinds of $mathsfQ$-nets. To justify our definition of $mathsfQ$-net, we construct a family of adjunctions for each Lawvere theory explicating the way in which $mathsfQ$-nets present free models of $mathsfQ$ in $mathsfCat$. This gives a functorial description of the operational semantics for an arbitrary category of $mathsfQ$-nets. We show how this can be used to construct the semantics for Petri nets, pre-nets, integer nets, and elementary net systems.

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

Recommendations

• Functorial models for Petri nets
• Petri nets are monoids
• Petri nets, algebras, morphisms, and compositionality
• scientific article; zbMATH DE number 1236364
• scientific article; zbMATH DE number 3988722

zbMATH Keywords

category theoryPetri netsoperational semanticsLawvere theory

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10) 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) Monoidal categories, symmetric monoidal categories (18M05)

Cites Work

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

Cited In (7)

• Whole-grain Petri nets and processes
• Regular planar monoidal languages
• Title not available (Why is that?)
• Nets with mana: a framework for chemical reaction modelling
• A categorical semantics for hierarchical Petri nets
• A Categorical Semantics for Guarded Petri Nets
• Title not available (Why is that?)

This page was built for publication: Petri nets based on Lawvere theories

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