Язык терминальный

Во многих приложениях бывает удобно или необходимо рассматривать не свободный язык сети Петри [math]\displaystyle{ N }[/math], включающий все ее последовательности срабатываний, а некоторое подмножество терминальных последовательностей [math]\displaystyle{ L(N, M_f) }[/math], которое определяется некоторой фиксированной терминальной разметкой [math]\displaystyle{ M_f }[/math] и состоит из всех последовательностей, ведущих от начальной разметки [math]\displaystyle{ M_0 }[/math] к разметке [math]\displaystyle{ M_f }[/math], т. е. [math]\displaystyle{ L(N,M_f) = \{\tau \in T^* : M_0 }[/math][[math]\displaystyle{ \tau }[/math]> [math]\displaystyle{ M_f \} }[/math].

Множество [math]\displaystyle{ L(N, M_f) }[/math] образует свободный терминальный язык сети [math]\displaystyle{ N }[/math] (относительно заданной терминальной разметки [math]\displaystyle{ M_f }[/math]).

Соответственно, множество [math]\displaystyle{ \{G(\tau ) : \tau \in L(N, M_f)\} }[/math] образует терминальный язык помеченной сети Петри [math]\displaystyle{ (N,G) }[/math] (относительно заданной терминальной разметки [math]\displaystyle{ M_f }[/math]).

Литература

• Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
• Котов В.Е. Сети Петри. — М.: Наука, 1984.