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