В результате срабатывания перехода из всех входных позиций перехода исключается по одной метке:
Два перехода, связанные с общей входной позицией являются конфликтными, если хотя бы один из них возбуждается в результате появления метки в этой позиции:
Для абстрактных автоматов характерно наличие дискретных состояний и дискретный характер работы во времени:
Если метки используются для представления промежуточных данных, созданных системой, то, проанализировав ограниченность сети, можно сделать вывод о возможности потери информации при ее буферировании:
Задача о взаимном исключении возникает в условиях, когда несколько процессов разделяют общую переменную:
Маркировка сети - присвоение меток позициям сети Петри:
Метки, представляющие ресурсы, могут создаваться и уничтожаться:
Моделирование в сетях Петри осуществляется на событийном уровне:
Переходы соответствуют событиям, отображающим начало или завершение моделируемых операций:
Причинно-следственная связь событий в асинхронных системах задается множеством отношений вида "условия-события":
Раскрашенные сети Петри являются естественной интерпретацией реальных систем, аналогичной сетям с очередями:
Связи между объектами задаются атрибутами:
Семафор - переменная, которая может принимать только отрицательные целые значения:
Условия, с фактом выполнения которых связывается возможность реализации перехода в сети Петри, называются постусловиями:
Фиксированные атрибуты модели описывают статические, переменные - динамические связи: