Bounded Petri net: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Новая страница: «'''Bounded Petri net''' --- ограниченная сеть Петри. A Petri net is '''bounded''' if its set of reachable markings is finite. The '''boundednes…») |
(нет различий)
|
Версия от 13:52, 24 февраля 2011
Bounded Petri net --- ограниченная сеть Петри.
A Petri net is bounded if its set of reachable markings is finite. The boundedness problem for Petri nets is decidable but it is a PSPACE-hard problem