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