基于petri网的模拟分析工具，可以对着色和随机petri网进行仿真分析。