Язык свободный

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

Литература

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

• Котов В.Е. Сети Петри. — М.: Наука, 1984.