Модифіковані мережі Петрі (Petri netze) для формування паралельних процесів у системах управління

The problems of detecting errors in the design of complex control systems. Offered as a reference model for verification of a software system using a model based on control of Petri netsВ статье рассматриваются проблемы выявления ошибок при разработке сложных систем управления. Предлагается в качестве опорной модели при верификации программной системы использовать модель на основе управляющих сетей ПетриУ статті розглядаються проблеми виявлення помилок при розробці складних систем керування. Пропонується в якості опорної моделі при верифікації програмної системи використовувати модель на основі управля­ючих мереж Петр