基于JAVA的一个petri分析模拟工具,好用