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

Перейти к навигации Перейти к поиску
нет описания правки
Нет описания правки
Нет описания правки
Строка 17: Строка 17:
называется ''разметкой''. Узлы обычно изображаются в виде кружков,
называется ''разметкой''. Узлы обычно изображаются в виде кружков,
обозначаемых строчными буквами <math>p \ldots t</math>, переходы — линиями, а
обозначаемых строчными буквами <math>p \ldots t</math>, переходы — линиями, а
исходная разметка — черными точками (фишками). Символы переходов
текущая разметка — черными точками (фишками). Символы переходов
показывают возможные изменения состояния параллельной
показывают возможные изменения состояния параллельной
системы.
системы.
Строка 35: Строка 35:
рассматриваться отдельно.  
рассматриваться отдельно.  


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

Навигация