Inducing patterns of behavior in distributed system processes

The authors utilize a class of Petri nets, called colored Petri nets (C/P-nets), to induce patterns of behavior in synchronization structures. These patterns of behavior locally specify the interactions between the distributed system's processes. The induction of patterns of behavior in synchronization structures results in the specification of coordination structures. A coordination structure is a specification of the interaction behavior of a distributed system's processes in a particular context. C/P-nets are used for the differentiation of the system's context-sensitive variables and the representation of their instantiations. The three possible interactions between any two concurrent processes of the distributed system are specified.<
>