For the most recent entries see the Petri Nets Newsletter.

Compositional Synthesis of Live and Bounded Free Choice Nets.

Esparza, Javier; Silva, Manuel

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).

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

Back to the Petri Nets Bibliography