Petri net representation of decision models

Models of decisionmaking organizations, supported by command, control, and communication systems, are represented using the Petri net formalism. A small set of primitives, defining the correspondence between decision models, signals, and functions and their Petri net counterparts, is proposed. A new decision signal-routing demultiplexer is added to the Petri net formalism to represent internal decisionmaking in the model. Using the above primitives, any decisionmaking structure can be modeled by a Petri net diagram. An array is introduced that describes the interactions between decisionmakers, and an algorithm is presented for the calculation of delay when synchronous protocols are used.