Сеть Петри помеченная: различия между версиями
Перейти к навигации
Перейти к поиску
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. | |||
[[Категория:Теория вычислений]] | [[Категория:Теория вычислений]] | ||
Версия от 19:50, 5 ноября 2024
Помеченная сеть Петри (labelled Petri net) — это пара [math]\displaystyle{ (N, G) }[/math], где N — сеть Петри, а G — помечающая функция, которая сопоставляется каждому переходу сети t либо некоторый символ из заданного алфавита пометок [math]\displaystyle{ \Sigma }[/math], либо символ пустой строки e. Переходы t, помеченные символом пустой строки e, т. е. [math]\displaystyle{ G(t) = e }[/math], называются е-переходами.
Литература
- Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
- Котов В.Е. Сети Петри. — М.: Наука, 1984.