В данной статье описана разработка системы для моделирования логики работы технических средств, с целью выявления ошибок проектирования и отказов технического устройств. Система позволяет производить моделирование путем составление схем из уже готовых моделей, которые хранятся в базе данных системы, что значительно облегчает работу пользователя
Моделирование, Сети Петри, Отказоустойчивость, Логика работы
Введение. На сегодняшний день системы моделирования плотно вошли во все сферы жизнедеятельности человека. Одной из самых важных таких сфер является моделирование технических устройств. Основной задачей моделирования технических устройств является выявление ошибок проектирования на стадии разработки, с целью предотвращения отказа устройства. С данной целью была разработана система моделирования на основе сетей Петри, которая бы позволяла пользователю использовать готовые модели узлов архитектуры моделируемого устройства. Данные модели заранее описаны в рамках теории сетей Петри и хранятся в базе данных системы, которая может пополняться в ходе эксплуатации.
Теория сетей Петри. Теория сетей Петри это знаменитый математический аппарат, разработанный Карлом Петри с целью моделирования различных процессов. Сеть Петри это двудольный ориентированный граф, у которого есть два вида вершин места и переходы. Два типа вершин соединены ориентированными дугами. В местах могут быть размещены маркеры, которые могут передвигаться по сети Петри. Передвижение данных маркеров осуществляется за счет переходов сети. Переход является активным, в случае если количество маркеров во входной позиции перехода больше или равно количества дуг ведущих из данной позиции в переход. За счет передвижения маркеров по сети можно выявить достижимость той или иной ситуации в техническом устройстве и предотвратить отказ системы.
1. В. Котов, Сети Петри, М.: Наука, 1984
2. Дж. Питерсон, Теория сетей Петри и моделирование систем, М. : Мир, 1984.
3. Шлее М. - Профессиональное программирование на C++. Qt 4.8. СПб.: БХВ-Петербург,2012. - 912 с
