2024 № 3 Сучасні інформаційні системи
Постійне посилання колекціїhttps://repository.kpi.kharkov.ua/handle/KhPI-Press/82430
Переглянути
Документ Development of a method for assessing the adequacy of a computer system model based on Petri nets(Національний технічний університет "Харківський політехнічний інститут", 2024) Shyman, Anna; Kuchuk, Nina; Filatova, Anna; Bellorin-Herrera, OleksandraThe 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.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.