Описание и преобразование управляющих процессов. Сети Петри и их модификация

– базис сетей Петри:
событие;
условие.
Сеть Петри – структура УП
↓
это последовательность
процедур
Условия → событие
Состояние системы – это множество условий
Событие → новые условия →
→ изменение состояния системы

События – множество переходов
T={t0, t1, …, tr}
Условия – множество позиций
A={a0, a1, …, af}
I – входная функция
связь T и A
O – выходная функция
I – отображает tv(v=0 r) в мн-во позиций I(tv) – входные позиции перехода
O – отображает tv в мн-во позиций O(tv) – выходные позиции перехода
aµ - входная позиция tv, если aµ ϵ I(tv)
aµ - выходная позиция tv, если aµϵO(tv)
Сеть Петри – N = (A, T, I, O)