У меня похожая проблема.В этой статье сравнивались некоторые инструменты для сетей Петри.
На мой взгляд, самым простым в использовании является Yasper , но он не с открытым исходным кодом и работает только для Windows.Я рекомендую бета-версию 2.0b22 .Версии 2.1b1 и 2.1b2 не работают в моей Windows 2003 на Virtual Box.
В настоящее время я использую PIPE2 , потому что это открытый исходный код, прост в использовании и не зависит от платформы.У вас могут возникнуть проблемы с открытием файлов, сохраненных в более ранней версии или других редакторах (таких как Yasper).Я описываю обходной путь в bug tracker .
Я ищу редактор для оценочных сетей , и я рассматриваю возможность расширения PIPE2 для поддержкиэтот.Может быть, у кого-то есть идея получше?