Сеть Петри помеченная

Помеченная сеть Петри (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.