Development of a Method for Assessing the Adequacy of a Computer System Model Based on Petri Nets

Topicality. The purpose of modeling any system using a Petri net is to study the behavior of the modeled system based on the analysis of the defined properties of the Petri net. Therefore, it is necessary to develop a method for assessing the adequacy of the model, based on the assessment of the degree of its correspondence to the behavior of the system. The object of research is the behavior of a system model built using a Petri net. The subject of the research is the value of the deviation of the simulated processes from the real values. The goal of the research is to develop a method for assessing the adequacy of the description of the dynamics of the researched process in a model of a computer system based on Petri nets. Results obtained. A mathematical model is built, which is determined by the number of system states. In the model, options for the analysis of the state trace of the system are considered. Analysis of the adequacy of the synthesized model and its refinement are carried out according to the developed iterative algorithm. The option of testing the hypothesis regarding the Markov nature of the processes of changing system states is considered in detail. For this, appropriate statistical criteria are proposed. Considered example of evaluation of a given path of states. To test the proposed method, a study of the management algorithm of the metropolis's transport system was conducted. The simulation results practically coincided with the real results. Conclusions. The developed method makes it possible to assess the adequacy of the model based on Petri nets with accuracy to the entered assumptions. The method allows timely background history of dynamic processes and justify the choice of its length. The method also allows reducing the possibility of an irrational increase in the size of the synthesized model.