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

Материал из WikiGrapp
Версия от 13:56, 16 сентября 2018; KVN (обсуждение | вклад) (Новая страница: «'''Помеченная сеть Петри''' (labelled Petri net) — это пара <math>(N, G)</math>, где ''N'' — сеть Петри, а ''G'' — '…»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

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