ГОСТ Р МЭК 61508-6-2012
разрешающие переходы;
с) утверждения (любые выражения), обновляющие какие-либо переменные,
когда переход запускается.
Кроме того, существует ряд правил разрешения и запуска перехода:
4) Разрешение перехода (т.е. условия для соответствующего события, которое
может произойти):
a) все входные позиции имеют как минимум одну метку;
b
) все предикаты должны быть истинными.
5) Запуск перехода (т.е. что происходит, когда соответствующее событие
реализуется):
a) одна метка удаляется из входной позиции;
b
) одна метка добавляется в выходную позицию;
c) утверждения обновляются.
Большинство понятий, связанные с сетями Петри, введены выше, остальные
будут вводиться по мере необходимости.
В.5.3.2 Принцип моделирования Монте-Карло
Моделирование Монте-Карло представляет собой анимацию моделей поведения
с помощью случайных чисел, чтобы определить, как часто система остается в
состояниях, управляемых или случайными или детерминированнными задержками (см.
также МЭК 61508-7, п. В.6.6.8).
Это можно объяснить с помощью сети Петри, представленной на рисунке В.33:
- Вначале метка находится в позиции W и компонент находится в нормально
работающем состоянии.
- Только одно событие может появиться в данном состоянии - опасный
необнаруженный отказ (переход Тг1 разрешен и закрашен черным).
- Время, проведенное в данном состоянии, является случайной величиной и
зависит от экспоненциального распределения параметра Аои. Метод Монте-Карло
состоит в использовании случайных чисел (см. ниже) для вычисления задержки d1 перед
отказом, который должен произойти (т.е. должен быть запущен переход Тг1).
- Когда время d1 вышло, запускается переход Тг1 и метка перемещается в
позицию DU (точнее, одна метка удаляется из позиции W и одна метка добавляется в
позицию DU).
- Компонент оказывается в состоянии опасного необнаруженного отказа и
переход Тг2 становится разрешенным.
88