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

Сеть Петри (посмотреть исходный код)

25 байт добавлено , 16 сентября 2018

нет описания правки

1205

правок

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