Иллюстрация к правилу срабатывания перехода

Разметку сети до срабатывания любого перехода называют начальной или стартовой разметкой. Затем срабатывает тот или иной переход. При этом разметка сети меняется. Возможно, что в результате этого изменения некоторый переход потеряет возможность срабатывать, или наоборот — приобретет ее. Последовательное срабатывание переходов и соответствующее изменение разметки сети называют процессом функционирования сети.

Завершение процесса функционирования приводит сеть к разметке, называемой конечной.

Предметом теоретического исследования сетей Петри является процесс их функционирования, т.е. возможные последовательности срабатывания переходов и свойства получаемых при этом разметок сети.

Такие исследования формулируются, как правило, в виде утверждений двух основных типов — утверждение о существовании и утверждения об обязательности.

Конечные разметки сети

• Одна из основных проблем в теории сетей Петри — задача о конечности функционирования сети (о достижении тупиковой разметки, «смертельные объятия» и т.д.).

• Существует ли такая последовательность срабатывания переходов, которая приводит сеть к тупиковой разметке (т.е. разметке, при которой ни один переход не может сработать)?

Пример: