Bounded Petri net: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Новая страница: «'''Bounded Petri net''' --- ограниченная сеть Петри. A Petri net is '''bounded''' if its set of reachable markings is finite. The '''boundednes…») |
KVN (обсуждение | вклад) Нет описания правки |
||
| (не показана 1 промежуточная версия 1 участника) | |||
| Строка 1: | Строка 1: | ||
'''Bounded Petri net''' | '''Bounded Petri net''' — ''[[ограниченная сеть Петри]].'' | ||
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. | |||
Текущая версия от 16:10, 17 сентября 2018
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.
Литература
- Евстигнеев В.А., Касьянов В.Н. Словарь по графам в информатике. — Новосибирск: Сибирское Научное Издательство, 2009.