Справочник функций

Ваш аккаунт

Войти через: 
Забыли пароль?
Регистрация
Информацию о новых материалах можно получать и без регистрации:

Последние темы форума

Показать новые сообщения »

Почтовая рассылка

Подписчиков: 11653
Последний выпуск: 19.06.2015

Как узнать непосредственно достижимые маркировки Сети Петри

88K
10 октября 2015 года
tron737
2 / / 10.10.2015
Для сети Петри, изображенной на рисунке, и ее начальной маркировки м=(1, 0, 0) укажите непосредственно достижимые маркировки. объяснить
392
11 октября 2015 года
grgdvo
322 / / 04.07.2007
м'=(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)

Знаете кого-то, кто может ответить? Поделитесь с ним ссылкой.

Ваш ответ

Реклама на сайте | Обмен ссылками | Ссылки | Экспорт (RSS) | Контакты
Добавить статью | Добавить исходник | Добавить хостинг-провайдера | Добавить сайт в каталог