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