The Essence of Petri Net Gluings

TL;DR

This paper introduces a new framework for composing Petri nets that preserves their semantics and generalizes existing methods for net gluing, enhancing the formal understanding of Petri net composition.

Contribution

The paper proposes a novel semantic-preserving Petri net composition framework that unifies and extends previous approaches to net gluing.

Findings

Framework successfully preserves Petri net semantics during composition

Generalizes existing Petri net gluing methods

Provides formal tools for compositional Petri net analysis

Abstract

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.