Сеть Петри ограниченная: различия между версиями

Материал из WikiGrapp
Перейти к навигации Перейти к поиску
(Новая страница: «Сеть Петри называется '''ограниченной сетью''' (bounded Petri net), если любое ее место ограничен…»)
 
Нет описания правки
 
Строка 1: Строка 1:
[[Сеть Петри]] называется '''ограниченной сетью''' (bounded Petri net), если любое ее место ограничено.  
[[Сеть Петри]] называется '''ограниченной сетью''' (bounded Petri net), если если все ее места безопасны. Любая достижимая в безопасной сети разметка представляет собой вектор из 0 и 1.
 
Ясно, что множество достижимых разметок <math>R(N)</math> в [[Сеть Петри|сети Петри]] <math>N</math> конечно, если и только если <math>N</math> — ограниченная сеть.
 


==Литература==
==Литература==

Текущая версия от 11:06, 19 сентября 2018

Сеть Петри называется ограниченной сетью (bounded Petri net), если если все ее места безопасны. Любая достижимая в безопасной сети разметка представляет собой вектор из 0 и 1.

Литература

  • Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
  • Котов В.Е. Сети Петри. — М.: Наука, 1984.