Composition of nets via a communication medium

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.