Сеть Петри: различия между версиями

невозможно. Когда состояние таково, что два или более

переходов претендуют на срабатывание, каждый из них должен

выполняя очевидную процедуру генерирования другой разметки,

состояния системы и пути их достижения. Например, могут быть

легко обнаружены тупиковые состояния и непродуктивные