如题,Petri网分析工具,可模拟Petri网的运行