ГОСТ Р 51901.5—2005
После построения диаграммы состояний и определения интенсивностей перехода коэффициент готовнос
ти можно рассчитать с помощью соответствующего пакета программ или провести параметрический анализ,
рассматривающий разности интенсивностей перехода.
А.1.6 Анализ сети Петри
А. 1.6.1 Описание и цель
Сеть Петри — графический метод представления и анализа сложных логических взаимодействий компо
нентов или событий в системе. Сеть Петри отражает такие сложные взаимодействия как конкуренция, конфликт,
синхронизация, взаимное исключение и ограничение ресурса.
Статичная структура исследуемой системы может быть представлена графом сети Петри. Граф сети Петри
состоит из трех примитивных элементов:
- мест (обычно изображаемых в виде кругов), которые представляют состояния системы;
- переходов (обычно изображаемых в виде линий), которые представляют события, после которых состоя
ние системы изменяется;
- дуг (изображаемых в виде стрелок), которые подключают места к переходам, а переходы к местам и
представляют логически допустимые подключения между состояниями и событиями.
Состояние допустимо в данной ситуации, если соответствующее место отмечено, по крайней мере, одним
маркером, изображаемым в виде точки «•». Динамика системы представлена посредством движения маркеров в
графе. Переход допускают, если его входные места содержат, по крайней мере, один маркер. Допускаемый
переход может быть выполнен. При удалении перехода удаляют один маркер из каждого входного места и поме
щают один маркер в каждое место вывода. Правила постановки и удаления маркеров позволяют получить все
достижимые маркировки, называемые набором достижимости сети Петри. Набор достижимости включает все
состояния, в которые система может попасть из начального состояния.
Стандартные сети Петри не содержат понятия времени. Однако появилось много расширений в сети Пет
ри. в которые добавлена синхронизация. Если интенсивность удаления (постоянная) действует при каждом пере
ходе. динамика сети Петри может быть проанализирована посредством непрерывной марковской цепочки
вре мен, пространство состояний которой изоморфно, с набором достижимости соответствующей сети Петри.
Сеть Петри может быть использована как язык высокого уровня для создания марковских моделей. Неко
торые инструментальные средства анализа надежности основаны на этом методе.
Сети Петри обеспечивают также условия для моделирования.
А.1.6.2 Применение
Сеть Петри рекомендуется применять, когда должны быть учтены сложные логические взаимодействия
(конкуренция, конфликт, синхронизация, взаимное исключение, ограничение ресурса), так как сеть Петри ис
пользует обычно более простой и естественный язык для описания марковской модели.
А.1.6.3 Ключевые элементы
Ключевой элемент сети Петри — описание структуры системы и ее динамического поведения с помощью
примитивных элементов языка сети Петри (мест переходов, дуг и маркеров). Для применения элементов сетей
Петри требуется использование специальных программ:
a) качественного анализа структуры;
b
) количественного анализа (если постоянная интенсивность удаления назначена на переходы сети Петри,
то количественный анализ может быть выполнен с помощью решения соответствующей марковской модели).
А. 1.6.4 Достоинства
Сети Петри применяют в случаях, если необходимо представить сложные взаимодействия среди аппарат
ных или программных модулей, которые трудно описать другими методами.
Сети Петри являются хорошим средством разработки марковских моделей. Обычно описание системы
посредством сети Петри требует значительно меньшего количества элементов, чем соответствующее представ
ление.
Марковская модель автоматически может быть получена на основе сети Петри, а сложность процедуры
аналитического решения будет скрыта от разработчика, который работает только на уровне сети Петри.
Кроме того, сети Петри позволяют проводить качественный анализ структуры, основанный только на свой
ствах графа. Этот структурный метод анализа является более дешевым, чем построение марковской модели, и
обеспечивает необходимой информацией для ее проверки и утверждения.
А.1.6.5 Ограничения
Так как количественный анализ основан на разработке и решении соответствующей марковской модели,
большинство ограничений те же. что и для марковского анализа.
Методология сети Петри требует использования программных средств, разработанных квалифицирован
ными специалистами.
А.1.6.6 Пример
Устойчивая к ошибкам мультипроцессорная компьютерная система, структурная схема которой изображе
на на рисунке А.8, содержит две независимые подсистемы S, и S2с общей памятью М3.
Каждая подсистема S (/’ = 1; 2) состоит из одного процессора Я, одной локальной памяти М и двух дисковых
модулей Ол и Dp. Шина N соединяет эти две подсистемы и общую память.
22