Petri nets based on Lawvere theories

DOI10.1017/S0960129520000262MaRDI QIDQ3386752zbMATH OpenFDO

Authors Jade Master

Publication date 7 January 2021

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

Copyright license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 4191145 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3982529 (Why is no real title available?)
• scientific article; zbMATH DE number 193170 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1157196 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 3319584 (Why is no real title available?)
• scientific article; zbMATH DE number 970065 (Why is no real title available?)
• Adjoint triangles
• Algebraic theories of quasivarieties
• An axiomatization of the algebra of Petri net concatenable processes
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Functorial models for Petri nets
• Lending Petri nets and contracts
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Note on the construction of free monoids
• On the category of Petri net computations
• Open Petri nets
• Petri nets are monoids
• The geometry of tensor calculus. I

Cited in

(8)

• scientific article; zbMATH DE number 1860660 (Why is no real title available?)
• Categories of nets
• Nets with mana: a framework for chemical reaction modelling
• A categorical semantics for hierarchical Petri nets
• A categorical semantics for bounded Petri nets
• Whole-grain Petri nets and processes
• A categorical semantics for guarded Petri nets
• Regular planar monoidal languages

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)