Діагностування обчислювальних систем із загальною пам'яттю за допомогою мереж Петрі

Abstract

З розробкою швидкодіючих ЕОМ застосовність і корисність моделювання значно зросли. Подання системи математичною моделлю, перетворення цієї моделі в команди для ЕОМ і виконання програми уможливили моделювання більших і складніших систем, ніж раніше. Це призвело, в результаті, до значних досліджень методів моделювання на ЕОМ та самих ЕОМ, оскільки вони беруть участь у моделюванні у двох ролях: як обчислювальні засоби та як об'єкт моделювання. Одним із найпоширеніших сучасних методів формалізації моделювання та аналізу обчислювальних систем є мережі Петрі.

With the development of high-speed computers, the using and usefulness of simulations has increased significantly. Representing a system as a mathematical model, converting this model into commands for a computer, and executing a program on a computer made it possible to simulate larger and more complex systems than before. This has resulted in considerable research into computer simulation methods and computers themselves, as they participate in simulation in two roles: as computational tools and as the object of simulation. Petri nets are one of the most common modern methods of formalization of modeling and analysis of computer systems.