petri-net

0зной

1ответ

Почему число окончательных обозначений не определено в графе достижимости Петри-Сети?

Я читал и слышал несколько раз, что граф достижимости - это особый тип переходной системы, с одним начальным и НЕ УКАЗАННЫЙ номер окончательной маркировки. Но если вы построите граф достижимости, у ва

2зной

3ответ

Стиральная машина petri net

Это моя первая работа в сети Петри, и я хочу смоделировать стиральную машину. Я начал, и это выглядит, как это до сих пор: У вас есть какие-то корректировки или помочь? Я, очевидно, знаю, что это не п

1зной

1ответ

Нужна помощь в понимании инвариантов места, используемых в сетях с места-переходами

Предположим, что я знаю маркировку данной сетки перехода места. Как определить, какая маркировка является инвариантом места? Я также знаю начальную маркировку. Я буду признателен за очень простое объя

0зной

1ответ

Petri net ограниченность

Я хочу спросить о petri net (PN) ограниченность. Когда у меня есть состояние s1 = (2 0 0), тогда я нахожу состояние s2 = (2 0 1), так как s1 < s2 могу объявить PN как НЕ ограниченный? Потому что когда

0зной

2ответ

Почему маркеры не добавляются?

Чтение this статьи говорится: детонатора из разрешенного перехода удаляет один маркер с каждым входным места и добавляет один маркер для каждого выходного места. Теперь, если у меня есть следующая сет

1зной

2ответ

Каким будет число достижимых состояний, если состояния модели Petri-Net находятся в цикле

Если у меня есть модель Петри-сетки из 8 мест и 8 транзакций. В этой модели нет мертвого состояния, потому что токен находится в цикле и пройдя все 8 мест в первом цикле. Во второй и оставшейся петлях

0зной

1ответ

Сравнение двух списков, имеющих разную структуру

Я пытаюсь выполнить функцию сопоставления шаблонов в инструментах CPN с использованием SML. Я определил набор цветов EVENT: colset EVENT = product EVENTTYPE * EVENTTIME timed; При сравнении списков ме