Сеть Петри консервативная

Сеть Петри называется консервативной (Conservative Petri net), если сумма фишек во всех ее местах остается постоянной при работе сети. В консервативной сети каждый переход консервативен (conservative) в том смысле, что его срабатывание не меняет число фишек в сети.

Литература

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