Massachusetts Inst. of Tech., Cambridge. Lab. for Information and Decision Systems, Report No. LIDS-P-1789, 1988.
Abstract: A methodology to model, analyze, and evaluate coordination in organizations with decision support is presented. Predicate Transition Nets are used as the basic technique for representing organizational structures. Protocols of interaction are modeled by transitions for which the rule of enablement is that the decisionmakers, when interacting, must refer to the same state of the environment.