Разметка тупиковая
Перейти к навигации
Перейти к поиску
Разметка в сети Петри [math]\displaystyle{ N }[/math] называется тупиковой (dead marking), если в сети [math]\displaystyle{ N }[/math] не существует ни одного перехода, который может сработать при этой разметке.
Литература
- Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
- Котов В.Е. Сети Петри. — М.: Наука, 1984.