Разметку сети Петри до срабатывания любого перехода называют
Переходы сети Петри обозначаются
Могут ли позиции и переходы сети Петри быть соединены непосредственно?
Какая сеть Петри содержит немгновенные переходы, в которые вложены другие сети?
В какой сети Петри мгновенное состояние в дереве достижимости не представляется?
Элементы сети Петри, которые могут перемещаться по сети, называются
Максимальное значение соответствующей компоненты состояния сети в ограниченной сети Петри определяет
Дуги в сети Петри являются
Позиции сети Петри обозначаются
Под сохраняемостью сети Петри подразумевается
