On the construction of pullbacks for safe Petri nets - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2005

On the construction of pullbacks for safe Petri nets

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.
Fichier principal
Vignette du fichier
RR-5722.pdf (264.85 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00070296 , version 1 (19-05-2006)

Identifiers

  • HAL Id : inria-00070296 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More