Bounded Petri net

Материал из WEGA

Версия от 13:52, 24 февраля 2011; Glk (обсуждение | вклад) (Новая страница: «'''Bounded Petri net''' --- ограниченная сеть Петри. A Petri net is '''bounded''' if its set of reachable markings is finite. The '''boundednes…»)

(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

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

Источник — http://pco.iis.nsk.su/wega/index.php?title=Bounded_Petri_net&oldid=6410