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

Сеть Петри называется ограниченной сетью (bounded Petri net), если любое ее место ограничено.

Ясно, что множество достижимых разметок [math]\displaystyle{ R(N) }[/math] в сети Петри [math]\displaystyle{ N }[/math] конечно, если и только если [math]\displaystyle{ N }[/math] — ограниченная сеть.

Литература

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

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