Вопрос: Рекомендация для программного обеспечения для моделирования Petri Nets?


Я ищу симулятор Petri Nets с графическим редактором для Ubuntu.

Кто-нибудь знает, существует ли такой инструмент?


4
2018-05-23 14:57


Источник




Ответы:


Попробуйте это: http://sourceforge.net/projects/pipe2/


2
2018-05-23 15:03



Проверено. Были некоторые базовые тесты и работы, как и предполагалось. Спасибо за ответ. - bacchus


Tapaal

Timed-Arc Petri Net (TAPN) является временным расширением классической сетевой модели Петри <..> Инструмент TAPAAL предлагает графический редактор для рисования моделей TAPN, симулятор для экспериментов с разработанными сетями и проверка среда, которая автоматически отвечает на логические запросы, сформулированные в подмножество логики CTL (по существу EF, EG, AF, AG формулы без вложенности). Он также позволяет пользователю проверить, ограничена ли данная сеть k-ограничена для заданного числа k. Алгоритм проверки переводит TAPAAL запрашивает UPPAAL и полагается на проверку UPPAAL , но пользователю не нужно оставлять TAPAAL GUI во время отображается любая фаза проверки модели и следов ошибок непосредственно в TAPAAL.

enter image description here

(Скриншот TAPAAL (на Ubuntu 10.10))

Монтаж:

sudo add-apt-repository ppa:tapaal-packaging/tapaal

sudo apt-get update

sudo apt-get install tapaal

редактировать: Tapaal теперь можно найти на http://www.tapaal.net


2
2018-05-23 15:07



Проверено. Работает. Он основан на PIPE2. Спасибо за ответ. - bacchus