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