The Essence of Petri Net Gluings

09/08/2019
by   Fabrizio Romano Genovese, et al.
0

Many categorical frameworks have been proposed to formalize the idea of gluing Petri nets with each other. Such frameworks model net gluings in terms of sharing of resources or synchronization of transitions. Interpretations given to these gluings are more or less satisfactory when we consider Petri nets with a semantics attached to them. In this work, we define a framework to compose Petri nets together in such a way that their semantics is respected. In addition to this, we show how our framework generalizes the previously defined ones.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/29/2020

A Categorical Semantics for Guarded Petri Nets

We build on the correspondence between Petri nets and frees ymmetric str...
research
10/05/2018

Toward a Uniform Approach to the Unfolding of Nets

In this paper we introduce the notion of spread net. Spread nets are (sa...
research
05/26/2021

Dialectica Petri nets

The categorical modeling of Petri nets has received much attention recen...
research
08/29/2018

Petri Nets and Machines of Things That Flow

Petri nets are an established graphical formalism for modeling and analy...
research
07/27/2020

Unfolding cubes: nets, packings, partitions, chords

We show that every ridge unfolding of an n-cube is without self-overlap,...
research
06/11/2020

Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)

During the last decade, various approaches have been put forward to inte...
research
08/16/2018

Open Petri Nets

The reachability semantics for Petri nets can be studied using open Petr...

Please sign up or login with your details

Forgot password? Click here to reset