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.