Massachusetts Inst. of Tech., Cambridge. Lab. for Information and Decision Systems, Report No. LIDS-P-1738, 1988.
Abstract: A methodology to analyze, model, and evaluate decision-making processes that require coordination is presented. The issues of inconsistency of information and synchronization are emphasized. Predicate Transition Nets are used as the basic technique for representing organizational structures and for characterizing the coordination of processes.