Skip to Main content Skip to Navigation
Reports

On the construction of pullbacks for safe Petri nets

Eric Fabre 1
1 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : The product of safe Petri nets is a well known operation: it generalizes to concurrent systems the usual synchronous product of automata. In this short note, we consider the definition of pullbacks of safe PNs, another categorical construction. Pullbacks generalize the product to nets which interact both by synchronized transitions and by a shared sub-net. \\ Le produit de réseaux de Petri saufs (éventuellement à labels) est une opération bien connue~: on peut la voir comme une généralisation du produit synchrone d'automates à des systèmes concurrents. Dans cette note, on s'intéresse à la construction de pullbacks de réseaux saufs, une autre construction catégorique. Les pullbacks généralisent le produit de réseaux en permettant une interaction non seulement par la synchronisation de transitions, mais aussi par partage de places et de transitions.
Document type :
Reports
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download

https://hal.inria.fr/inria-00000462
Contributor : Anne Jaigu <>
Submitted on : Thursday, October 20, 2005 - 11:22:58 AM
Last modification on : Thursday, January 7, 2021 - 4:17:26 PM
Long-term archiving on: : Thursday, April 1, 2010 - 10:50:45 PM

Identifiers

  • HAL Id : inria-00000462, version 1

Citation

Eric Fabre. On the construction of pullbacks for safe Petri nets. [Research Report] PI 1750, 2005, pp.12. ⟨inria-00000462⟩

Share

Metrics

Record views

519

Files downloads

301