For the most recent entries see the Petri Nets Newsletter.

Circuits, Handles, Bridges and Nets.

Esparza, Javier; Silva, Manuel

In: Proceedings of the 10th International Conference on Application and Theory of Petri Nets, 1989, Bonn, Germany, pages 134-153. 1989.

Also: Universidad de Zaragoza, departamento de ingenieria electrica e informatica, Research Report 89-02, January 1989.

Also in: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 483; Advances in Petri Nets 1990, pages 210-242. Berlin, Germany: Springer-Verlag, 1991.

Abstract: The paper introduces two new structural objects for the study of nets: handles and bridges. They are shown to provide sufficient, although not necessary, conditions of good behaviour for general ordinary nets, as well as a new characterisation of structural liveness and structural boundedness for the subclass of free choice nets. This characterisation is used to approach a modular synthesis theory of free choice nets through the synchronisation of state machines. The task is fully performed for the restricted subclass of strict free choice nets introduced.

Keywords: circuits, handles, bridges, structural net object; structural liveness; structural boundedness; strict free choice net; modular synthesis; state machines synchronization.

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

Back to the Petri Nets Bibliography