Переход живой
Материал из WikiGrapp
Переход сети Петри называется живым (live transition), если он является потенциально живым при любой разметке сети, достижимой от ее начальной разметки.
Литература
- Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
- Котов В.Е. Сети Петри. — М.: Наука, 1984.
