Сеть Петри ограниченная: различия между версиями
Перейти к навигации
Перейти к поиску
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
[[Сеть Петри]] называется '''ограниченной сетью''' (bounded Petri net), если если все ее места безопасны. Любая достижимая в безопасной сети разметка представляет собой вектор из 0 и 1. | [[Сеть Петри]] называется '''ограниченной сетью''' (''[[bounded Petri net]]''), если если все ее [[Место безопасное|места безопасны]]. Любая достижимая в безопасной сети разметка представляет собой вектор из 0 и 1. | ||
==Литература== | ==Литература== | ||
| Строка 8: | Строка 8: | ||
[[Категория:Теория вычислений]] | [[Категория:Теория вычислений]] | ||
[[Категория:Граф-модели]] | |||
Версия от 15:02, 5 ноября 2024
Сеть Петри называется ограниченной сетью (bounded Petri net), если если все ее места безопасны. Любая достижимая в безопасной сети разметка представляет собой вектор из 0 и 1.
Литература
- Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
- Котов В.Е. Сети Петри. — М.: Наука, 1984.