Посоветуйте прогу для работы с сетями Петри. Нужно помимо рисовании и моделировании самой сети, возможности по объявлению переменных, чтобы кое-что считать. Т.е. переход сработал, переменная увеличилась/уменьшилась на определенное значение. Так нужна возможность каким-либо образом спланировать маршрут движения фишки, например задавая приоритеты переходов.