Technical Report GISI--90.06. Universidad de Zaragoza (Spain), Dpto. Ingeniería Eléctrica e Informática, Grupo Ing. de Sistemas Informática, March 1990.
Abstract: The paper defines two notions of composition of concurrent modules modelled by means of Petri nets: synchronisations and fusions. The authors study these two notions for free choice nets, and characterise the composition that preserves 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.
Keywords: compositional synthesis (of) live, bounded free choice net(s); synchronization; fusion; liveness; deadlock; boundedness; preservation (of properties).