The network model count correctness control method, describing an order and basic rules of the use of resources is presented. The network model count correctness control consists in the analysis of it on uncontradiction and plenitude of description. The analysis of plenitude of network model supposes verification of possibility of reaching a special purpose summit at any logically veritable set of initial conditions. Indefinite on the terms of achievement tops are thus determined – isolated, deadlock and hangings. The analysis of network model count uncontradiction consists in finding of contours of count. For this purpose scope tops are selected and the logical chainlet of formation of contour is made.
resource, control of correctness, network model, uncontradiction of count of network model, plenitude of count of network model, a special purpose