ГОСТ Р МЭК 61508-6-2012
РисунокВ.33 -СетьПетридлямоделированияодногопериодически
проверяемого компонента
Типичная подсеть Петри для простого периодически проверяемого компонента
состоит из трех частей:
1) Статическая часть (т.е. рисунок):
a) позиции (круги) соответствуют возможным состояниям;
b
) переходы (прямоугольники) соответствуют возможным событиям;
c) стрелки вверх (от позиций к переходам) разрешают переходы;
d) стрелки вниз (от переходов к позициям) показывают, что происходит, когда
запускается переход.
2) Часть планирования:
a) стохастическиезадержкиявляютсяслучайнымизадержками,
произошедшими до события;
b
) детерменированные задержки - это известные задержки, произошедшие до
события.
3) Динамическая часть:
a) метки (маленькие черные точки), которые двигаются, когда происходит
событие, для отображения того, какое из возможных состояний достигнуто;
b
) предикаты (любая формула, которая может быть истинной или ложной),
87