Объект сети Петри может содержать предписания типаи

Списки, которые могут содержать переменные и такие же списки, относятся к типу предписания сети Петри

В зависимости от типа мест сети Петри она может быть

Элементы сети Петри, которые могут перемещаться по сети, называются

Максимальное значение соответствующей компоненты состояния сети в ограниченной сети Петри определяет

Под сохраняемостью сети Петри подразумевается

Дуги в сети Петри являются

Переходы сети Петри обозначаются

Позиции сети Петри обозначаются

С чем связано возникновение события в сети Петри?

При слиянии переходов в сети Петри определяется