Аноним

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

Материал из WikiGrapp
нет описания правки
Нет описания правки
Нет описания правки
Строка 33: Строка 33:
невозможно. Когда состояние таково, что два или более
невозможно. Когда состояние таково, что два или более
переходов претендуют на срабатывание, каждый из них должен
переходов претендуют на срабатывание, каждый из них должен
рассматриваться отдельно. Начиная с исходной разметки,
рассматриваться отдельно.  
которая соответствует исходному состоянию системы, и
 
Начиная с начальной разметки,
которая соответствует исходному (начальному) состоянию системы, и
выполняя очевидную процедуру генерирования другой разметки,
выполняя очевидную процедуру генерирования другой разметки,
достижимой из исходной, можно исследовать возможные
достижимой из текущей, можно исследовать возможные
состояния системы и пути их достижения. Например, могут быть
состояния системы и пути их достижения. Например, могут быть
легко обнаружены тупиковые состояния и непродуктивные
легко обнаружены тупиковые состояния и непродуктивные