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