*For the most recent entries see the
Petri Nets Newsletter.*

## On the Construction of Pullbacks for Safe Petri Nets.

Fabre, Eric
In:
*Lecture Notes in Computer Science : Petri Nets and Other Models of Concurrency - ICATPN 2006, 2006*, pages 166-180.
2006.
URL: `http://dx.doi.org/10.1007/11767589`_{1}0.

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
paper, we consider a more general way of combining nets, called a
pullback. The pullback operation generalizes the product to nets which
interact both by synchronized transitions and/or by a shared sub-net (i.e.
shared places and transitions). To obtain all pullbacks, we actually show
that all equalizers can be defined in the category of safe nets. Combined
to the known existence of products in this category, this gives more than
what we need : we actually obtain that all small limits exist, i.e. that
safe nets form a complete category.

*Do you need a refined search? Try our search engine
which allows complex field-based queries.*
*Back to the Petri Nets Bibliography*