Network Models from Petri Nets with Catalysts

04/07/2019
by   John C. Baez, et al.
0

Petri networks and network models are two frameworks for the compositional design of systems of interacting entities. Here we show how to combine them using the concept of a "catalyst": an entity that is neither destroyed nor created by any process it engages in. In a Petri net, a place is a catalyst if its in-degree equals its out-degree for every transition. We show how a Petri net with a chosen set of catalysts gives a network model. This network model maps any list of catalysts from the chosen set to the category whose morphisms are all the processes enabled by this list of catalysts. Applying the Grothendieck construction, we obtain a category fibered over the category whose objects are lists of catalysts. This category has as morphisms all processes enabled by some list of catalysts. While this category has a symmetric monoidal structure that describes doing processes in parallel, its fibers also have non-symmetric monoidal structures that describe doing one process and then another while reusing the catalysts.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/29/2021

A Categorical Semantics for Hierarchical Petri Nets

We show how a particular flavor of hierarchical nets, where the firing o...
research
08/16/2018

Open Petri Nets

The reachability semantics for Petri nets can be studied using open Petr...
research
03/05/2019

Lenses and Learners

Lenses are a well-established structure for modelling bidirectional tran...
research
09/19/2023

Lifting star-autonomous structures

For a functor Q from a category C to the category Pos of ordered sets an...
research
05/15/2018

Executions in (Semi-)Integer Petri Nets are Compact Closed Categories

In this work, we analyse Petri nets where places are allowed to have a n...
research
11/06/2018

An Optimal Itinerary Generation in a Configuration Space of Large Intellectual Agent Groups with Linear Logic

A group of intelligent agents which fulfill a set of tasks in parallel i...
research
02/26/2018

Self-organizing maps and generalization: an algorithmic description of Numerosity and Variability Effects

Category, or property generalization is a central function in the human ...

Please sign up or login with your details

Forgot password? Click here to reset