Simulation modeling is a decision support tool for operational production management and planning of production processes. At the same time, production processes have a formal description in the form of a system of logical rules. The purpose of the study is to develop a method for analyzing a system of logical rules describing production processes using the mathematical formalism of Petri nets. Results. Each production process is considered at some level of abstraction as a separate nodal element, the structure and functions of which are described using Petri nets. The analysis of the results of modeling production processes based on the construction of a graph of the reachability of the Petri net allows you to make rational decisions taking into account the assessment of possible scenarios. Thus, verification and analysis of the simulation model makes it possible to identify bottlenecks for making recommendations and correcting the functionality of nodal elements. Practical significance. The proposed approach allows you to create dynamic models from static rules and obtain effective solutions for creating new and improving existing production processes. As a result of the coordinated adjustment of interconnected nodal elements in the design process of industrial enterprises and productions, it is possible to create complex logistics and production chains. Also, the proposed tools contribute to the organization of new production systems with optimization of their functioning before commissioning.
M.N. Belozerov (Wed,) studied this question.