用于模拟Petri网的分析工具,主要应用于分析工作流,安全协议等领域建立和分析petri网模型