HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

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
Abstract : 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.
Document type :
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 7:57:37 PM
Last modification on : Friday, February 4, 2022 - 3:16:24 AM
Long-term archiving on: : Sunday, April 4, 2010 - 8:51:51 PM


  • HAL Id : inria-00070296, version 1


Eric Fabre. On the construction of pullbacks for safe Petri nets. [Research Report] RR-5722, INRIA. 2005, pp.13. ⟨inria-00070296⟩



Record views


Files downloads