1184
правки
Сеть Петри помеченная: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
KVN (обсуждение | вклад) (Новая страница: «'''Помеченная сеть Петри''' (labelled Petri net) — это пара <math>(N, G)</math>, где ''N'' — сеть Петри, а ''G'' — '…») |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Помеченная сеть Петри''' (labelled Petri net) — это пара <math>(N, G)</math>, где | '''Помеченная сеть Петри''' (''[[labelled Petri net]]'') — это пара <math>(N, G)</math>, где | ||
''N'' — сеть Петри, а ''G'' — ''помечающая функция'', которая сопоставляется каждому переходу сети ''t'' либо некоторый символ из заданного алфавита пометок <math>\Sigma</math>, либо символ пустой строки ''e''. Переходы ''t'', помеченные символом пустой строки ''e'', т. е. <math>G(t) = e</math>, называются ''е-переходами''. | ''N'' — сеть Петри, а ''G'' — ''[[помечающая функция]]'', которая сопоставляется каждому переходу сети ''t'' либо некоторый символ из заданного алфавита пометок <math>\Sigma</math>, либо символ пустой строки ''e''. Переходы ''t'', помеченные символом пустой строки ''e'', т. е. <math>G(t) = e</math>, называются ''[[E-переход|е-переходами]]''. | ||
== Литература == | |||
*Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018. | |||
*Котов В.Е. Сети Петри. — М.: Наука, 1984. | |||
* Котов В.Е. Сети Петри. — М.: Наука, 1984. | |||
[[Категория:Теория вычислений]] | [[Категория:Теория вычислений]] | ||