Universal Properties of Petri Net Unfoldings
Abstract
It is an established idea in concurrency theory that every Petri net admits an unfolding semantics. This is a denotational object that represents its domain of possible executions. Unfoldings play an important role in practical analysis and verification. This paper is concerned with the following well-known problem: while the unfolding resembles a universal construction in the category of Petri nets, it generally fails to satisfy the expected universal property. This is because the unfolding construction overlooks the net's internal symmetries. There are two solutions: make these symmetries explicit to obtain a weak universal property (one that holds only ''up to symmetry''); or break the symmetries by assigning individual identities to components of the net. We review these two solutions and establish, in each case, a universal unfolding of Petri nets to event structures. This paper demonstrates a 2-categorical approach to Petri net unfoldings. We show that each unfolding semantics determines a 2-categorical relative adjunction involving Petri nets and event structures. Viewed in this way, the above two constructions can be related formally via an appropriate morphism of adjunctions. We exhibit a 2-density property of event structures which implies that unfolding functors are essentially unique.
Related
- On deformations of foliated complex analytic structures III: Unfoldings
- Information geometry of emergent symmetry quotients and their weak unfoldings
- An Engineering Reading of the Bounded Halting Problem and Observable Properties of a Universal Machine
- From Type to Token: Petri Nets, Individual Token Philosophy, and Individualized Causal Effects
- Group Petri Nets: Structural and Algebraic Models for Finite Groups and Their Subgroups
BibTeX
@misc{lechenne2026universal,
title = {{Universal Properties of Petri Net Unfoldings}},
author = {Serge Lechenne and Hugo Paquet},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.17324},
eprint = {2609.17324},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.17324},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Universal Properties of Petri Net Unfoldings
AU - Serge Lechenne
AU - Hugo Paquet
PY - 2026
DA - 2026/09/15
PB - arXiv
DO - 10.48550/arxiv.2609.17324
UR - https://arxiv.org/abs/2609.17324
AB - It is an established idea in concurrency theory that every Petri net admits an unfolding semantics. This is a denotational object that represents its domain of possible executions. Unfoldings play an important role in practical analysis and verification. This paper is concerned with the following well-known problem: while the unfolding resembles a universal construction in the category of Petri nets, it generally fails to satisfy the expected universal property. This is because the unfolding construction overlooks the net's internal symmetries. There are two solutions: make these symmetries explicit to obtain a weak universal property (one that holds only ''up to symmetry''); or break the symmetries by assigning individual identities to components of the net. We review these two solutions and establish, in each case, a universal unfolding of Petri nets to event structures. This paper demonstrates a 2-categorical approach to Petri net unfoldings. We show that each unfolding semantics determines a 2-categorical relative adjunction involving Petri nets and event structures. Viewed in this way, the above two constructions can be related formally via an appropriate morphism of adjunctions. We exhibit a 2-density property of event structures which implies that unfolding functors are essentially unique.
ER -