For the most recent entries see the Petri Nets Newsletter.

Compositional Synthesis of Live and bounded Free Choice Petri Nets.

Esparza, J.; Silva, M.

In: Lecture Notes in Computer Science, Vol. 527: CONCUR 91. Springer-Verlag, 1991.

Abstract: The paper defines two notions of composition of concurrent modules modelled by means of Petri nets: synchronisations and fusions. We study these two notions for the class of Free Choice nets, and characterise the compositions (within this class) that preserve liveness (absence of partial or global deadlocks) and boundedness (absence of overflows in finite stores). The characterisation shows which structures must be avoided in order to preserve the properties.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography