PIPE2 4.2.1下载地址

方便的工具，用于创建和编辑Petri网

PIPE 2，也被称为独立于平台的Petri网的编辑器，是一个工具，它可以帮助您创建，Petri网建模和分析。

Petri网是一种流行的建模方式，在分布式系统中的同步和并发。

现在，您可以使用这个开源工具，快速创建你想要的神器出山:www.shenqi73.comPetri网。

下面是一些主要特点“PIPE2”：

·易于使用的界面
·型号广场的过渡网和广义随机Petri网
许多分析模块，包括先进的GSPN分析
·处理几十万的状态，并消除消失的国家“飞”
·放大和缩小 - Petri网的工作与你的最佳规模
·生成可达性图
·PNG文件导出您的Petri网

此版本中的新功能：

·修正了一个错误，当加载一个Petri网的名称位置被忽略。