Bounded Petri net: различия между версиями

Материал из WikiGrapp
Перейти к навигации Перейти к поиску
(Новая страница: «'''Bounded Petri net''' --- ограниченная сеть Петри. A Petri net is '''bounded''' if its set of reachable markings is finite. The '''boundednes…»)
 
Нет описания правки
 
(не показана 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.