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