1216
правок
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
Строка 1: | Строка 1: | ||
Разметка в [[Сеть Петри|сети Петри]] <math>N</math> называется '''тупиковой''' (''[[dead marking]]''), если в сети <math>N</math> не существует ни одного перехода, который может сработать при этой разметке. | Разметка в [[Сеть Петри|сети Петри]] <math>N</math> называется '''тупиковой''' (''[[dead marking]]''), если в сети <math>N</math> не существует ни одного перехода, который может сработать при этой разметке. | ||
==Литература== | ==Литература== | ||
* Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018. | * Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018. | ||
* Котов В.Е. Сети Петри. — М.: Наука, 1984. | * Котов В.Е. Сети Петри. — М.: Наука, 1984. | ||
[[Категория:Сети Петри]] | |||
[[Категория:Граф-модели]] | |||
[[Категория:Теория вычислений]] | [[Категория:Теория вычислений]] | ||