On the construction of pullbacks for safe Petri nets

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.

Data and Resources

Additional Info

Field Value
Source https://inria.hal.science/inria-00070296
Author Fabre, Eric
Maintainer CCSD
Last Updated May 16, 2026, 11:47 (UTC)
Created May 16, 2026, 11:47 (UTC)
Identifier Report N°: RR-5722
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Distributed and Iterative Algorithms for the Management of Telecommunications Systems (DISTRIBCOM) ; Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Université de Rennes ; Institut National de Recherche en Informatique et en Automatique (Inria)
creator Fabre, Eric
date 2005-05-16T00:00:00
harvest_object_id 7578d76d-c814-4bb2-a74d-5a4f4739384f
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-03-28T00:00:00
set_spec type:REPORT