This article describes the development of a system for simulating a logic operation of the technical equipment, with the aim of identifying design errors and failures of technical devices. The system allows the simulation by a mapping of the ready-made models, which are stored in the system database, which greatly facilitates the user
Modeling, Petri nets, fault tolerance, Logic
Введение. На сегодняшний день системы моделирования плотно вошли во все сферы жизнедеятельности человека. Одной из самых важных таких сфер является моделирование технических устройств. Основной задачей моделирования технических устройств является выявление ошибок проектирования на стадии разработки, с целью предотвращения отказа устройства. С данной целью была разработана система моделирования на основе сетей Петри, которая бы позволяла пользователю использовать готовые модели узлов архитектуры моделируемого устройства. Данные модели заранее описаны в рамках теории сетей Петри и хранятся в базе данных системы, которая может пополняться в ходе эксплуатации.
Теория сетей Петри. Теория сетей Петри это знаменитый математический аппарат, разработанный Карлом Петри с целью моделирования различных процессов. Сеть Петри это двудольный ориентированный граф, у которого есть два вида вершин места и переходы. Два типа вершин соединены ориентированными дугами. В местах могут быть размещены маркеры, которые могут передвигаться по сети Петри. Передвижение данных маркеров осуществляется за счет переходов сети. Переход является активным, в случае если количество маркеров во входной позиции перехода больше или равно количества дуг ведущих из данной позиции в переход. За счет передвижения маркеров по сети можно выявить достижимость той или иной ситуации в техническом устройстве и предотвратить отказ системы.
1. V. Kotov, Seti Petri, M.: Nauka, 1984
2. Dzh. Piterson, Teoriya setey Petri i modelirovanie sistem, M. : Mir, 1984.
3. Shlee M. - Professional´noe programmirovanie na C++. Qt 4.8. SPb.: BKhV-Peterburg,2012. - 912 s
