Petri net representation of decision models

Abstract

Models of decision-making 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 decision-making in the model. Using the above primitives, any decision-making structure can be modeled by a Petri net diagram. An array is introduced that describes the interactions between decision-makers, and an algorithm is presented for the calculation of delay when synchronous protocols are used.