Formalization of conditions for the feasibility and admissibility of subnets in GERT network models

Abstract

The article, within the framework of the K. Neuman notation, proposes a formalization of the conditions for the feasibility and admissibility of subnets in GERT network models. A number of conditions have been formulated that the subnetwork must meet. Taking into account the entered conditions and rules, using GERT-like nodal logic, the executability of the subnet is ensured, for which, if necessary, additional “fictitious” activity is introduced on the arc (using auxiliary nodes). The proposed approach makes it possible to perform graphic-analytical modeling of modern information, technological, transport and production systems, the processes in which are characterized by nesting of cycles at many structural levels.