On the construction of pullbacks for safe Petri nets
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.
Domaines
Autre [cs.OH]
Loading...