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

называется ''разметкой''. Узлы обычно изображаются в виде кружков,

обозначаемых строчными буквами <math>p \ldots t</math>, переходы — линиями, а

показывают возможные изменения состояния параллельной

системы.

рассматриваться отдельно.  

которая соответствует исходному (начальному) состоянию системы, и

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

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

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