Сеть Петри ограниченная: различия между версиями
Перейти к навигации
Перейти к поиску
KVN (обсуждение | вклад) (Новая страница: «Сеть Петри называется '''ограниченной сетью''' (bounded Petri net), если любое ее место ограничен…») |
(нет различий)
|
Версия от 11:00, 19 сентября 2018
Сеть Петри называется ограниченной сетью (bounded Petri net), если любое ее место ограничено.
Ясно, что множество достижимых разметок [math]\displaystyle{ R(N) }[/math] в сети Петри [math]\displaystyle{ N }[/math] конечно, если и только если [math]\displaystyle{ N }[/math] — ограниченная сеть.
Литература
- Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
- Котов В.Е. Сети Петри. — М.: Наука, 1984.