In: Proceedings of the 10th International Conference on Application and Theory of Petri Nets, 1989, Bonn, Germany, pages 292-311. 1989.
Also in: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 483; Advances in Petri Nets 1990, pages 457-470. Berlin, Germany: Springer-Verlag, 1991.
Abstract: The general idea of the paper is to build a system in a modular way and to deduce its properties only by analysing its smaller components. Since, in general, composing subnets does not preserve properties (especially liveness) at the level of the global net, the problem is to find constraints on the subnets for establishing such results. The authors have discovered that in some cases it is sufficient to put structural constraints (instead of constraints on the subnets languages) only on the subnet generated by the elements shared by the two nets to be composed.
Keywords: net composition (via) communication medium; modular construction; subnet; liveness; structural constraint; rendez-vous.