1203
правки
Bounded Petri net: различия между версиями
Материал из WikiGrapp
нет описания правки
KEV (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 3: | Строка 3: | ||
A [[Petri net]] is '''bounded''' if its set of reachable markings is finite. | A [[Petri net]] is '''bounded''' if its set of reachable markings is finite. | ||
The '''[[boundedness problem]]''' for Petri nets is ''decidable'' | The '''[[boundedness problem]]''' for Petri nets is ''decidable'' | ||
but it is a ''[[PSPACE-hard problem]]'' | but it is a ''[[PSPACE-hard problem]]''. | ||
==Литература== | ==Литература== | ||
* Евстигнеев В.А., Касьянов В.Н. Словарь по графам в информатике. — Новосибирск: Сибирское Научное Издательство, 2009. | * Евстигнеев В.А., Касьянов В.Н. Словарь по графам в информатике. — Новосибирск: Сибирское Научное Издательство, 2009. | ||
