Использование сетей Петри при проведении анализа живучести бортовых информационно-управляющих систем

Abstract

Проанализированы возможности использования цветных сетей Петри как имитационных моделей функционирования бортовых информационно-управляющих систем (БИУС). Предложено два вида сетей Петри для моделирования функционирования БИУС: собственная и унифицированная сети. Даны элементы методики анализа живучести БИУС с использованием этих сетей.

Проаналізовано можливості використання кольорових мереж Петра як імітаційних моделей функціонування бортових інформаційно-керуючих систем (БІКС). Запропоновано два види мереж Петрі для моделювання функціонування БІКС: власна та уніфікована мережа. Наведено елементи методики аналізу живучості БІКС з використанням цих мереж.