Как узнать непосредственно достижимые маркировки Сети Петри
Для сети Петри, изображенной на рисунке, и ее начальной маркировки м=(1, 0, 0) укажите непосредственно достижимые маркировки. объяснить
м'=(0,1,0)
1. Для данной маркировки определяем список переходов, которые могут сработать. (Это только переход t2, t1 не может сработать, так как нет токена в p3)
2. Далее вычисляем новую маркировку по формуле m' = m - t_in + t_out, где t_in - кол-во дуг от мест, входящих в переход (она одна из p1, t_in = (1,0,0)), t_out - кол-во дуг в места, исходящих из перехода (она тоже одна в p2, t_out=(0,1,0)).
Получаем одну непосредственно достижимую маркировку
m'=(0,1,0)
1. Для данной маркировки определяем список переходов, которые могут сработать. (Это только переход t2, t1 не может сработать, так как нет токена в p3)
2. Далее вычисляем новую маркировку по формуле m' = m - t_in + t_out, где t_in - кол-во дуг от мест, входящих в переход (она одна из p1, t_in = (1,0,0)), t_out - кол-во дуг в места, исходящих из перехода (она тоже одна в p2, t_out=(0,1,0)).
Получаем одну непосредственно достижимую маркировку
m'=(0,1,0)