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

Материал из WikiGrapp
Перейти к навигации Перейти к поиску

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