petri-net

0зной

1ответ

В нижеприведенном списке ниже я сталкиваюсь с проблемой создания токенов со случайным значением на месте input2, так как функция rand() не работает. Есть ли другой способ сделать это?

0зной

1ответ

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

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

0зной

1ответ

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

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

1зной

1ответ

export cpntools project to jpg/png

Я искал по всей сети и не мог найти способ экспортировать модель CPN (Цветные петри) в cpntools в jpg или png-изображение. here является нечеткой статьей, но не настолько информативным и полезным. ест

2зной

3ответ

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

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

1зной

1ответ

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

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

3зной

2ответ

Проверка одновременных каналов, готовых к работе

Я хотел бы знать, может ли язык go проверять наличие нескольких каналов, готовых к отправке в то же время. Вот несколько надуманный пример того, что я пытаюсь сделать. (Реальная причина, чтобы увидеть

0зной

1ответ

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

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

1зной

2ответ

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

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