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

Место в сети Петри называется ограниченным (bounded place), если существует такое число, что для любой достижимой в сети разметки число фишек в нем не превышает данного числа. Сеть Петри называется ограниченной (bounded Petri net), если любое ее место ограничено.

Литература

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