Two polygraphic presentations of Petri nets

This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first one sees places as generators of a commutative monoid and transitions as rewriting rules on it: this setting is totally equivalent to Petri nets, but lacks any graphical intuition. The second one considers places as 1-dimensional cells and transitions as 2-dimensional ones: this translation recovers a graphical meaning but raises many difficulties since it uses explicit permutations. Finally, the third translation sees places as degenerated 2-dimensional cells and transitions as 3-dimensional ones: this is a setting equivalent to Petri nets, equipped with a graphical interpretation.

Data and Resources

Additional Info

Field Value
Source ISSN: 0304-3975
Author Guiraud, Yves
Maintainer CCSD
Last Updated May 7, 2026, 17:04 (UTC)
Created May 7, 2026, 17:04 (UTC)
Identifier hal-00092209
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Institut de mathématiques de Luminy (IML) ; Université de la Méditerranée - Aix-Marseille 2-Centre National de la Recherche Scientifique (CNRS)
creator Guiraud, Yves
date 2006-05-07T00:00:00
harvest_object_id 8a9988e3-e37a-4700-a612-911012cf5cba
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-08-12T00:00:00
relation info:eu-repo/semantics/altIdentifier/doi/10.1016/j.tcs.2006.02.015
set_spec type:ART