好用的Petri网的仿真分析工具，功能齐全，界面清晰，用Java语言编写的交互式编辑器，可用于绘制广义随机Petri网（GSPN）和确定性定时自动机（DTA）。 安装时要先配置好java环境。