By Topic

Inducing patterns of behavior in distributed system processes

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Kountouris, V.G. ; Sch. of Inf. Technol. & Eng., George Mason Univ., Fairfax, VA, USA ; Stephanou, H.E.

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

Published in:

Robotics and Automation, 1992. Proceedings., 1992 IEEE International Conference on

Date of Conference:

12-14 May 1992