Место безопасное: различия между версиями

Перейти к навигации Перейти к поиску
нет описания правки
Нет описания правки
Нет описания правки
Строка 1: Строка 1:
Место <math>p</math> в [[Сеть Петри|сети Петри]] называется '''безопасным''' (safe place), если для любой достижимой в сети разметки <math>M</math> справедливо неравенство <math>M(p)\leq 1</math>.  
Место <math>p</math> в [[Сеть Петри|сети Петри]] называется '''безопасным''' (''[[safe place]]''), если для любой достижимой в сети разметки <math>M</math> справедливо неравенство <math>M(p)\leq 1</math>.  


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


Строка 9: Строка 8:


[[Категория:Теория вычислений]]
[[Категория:Теория вычислений]]
[[Категория:Граф-модели]]

Навигация