Место ограниченное

Место [math]\displaystyle{ p }[/math] в сети Петри называется ограниченным (bounded place), если существует число [math]\displaystyle{ n }[/math] такое, что для любой достижимой в сети разметки [math]\displaystyle{ M }[/math] справедливо неравенство [math]\displaystyle{ M(p)\lt n }[/math].

Литература

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

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