推荐Petri Nets建模软件？

Question

我正在寻找带有 Ubuntu 图形编辑器的 Petri Nets 模拟器。

有谁知道是否存在这样的工具？

Answer 1

试试这个： http: //sourceforge.net/projects/pipe2/

Answer 2

塔帕尔

Timed-Arc Petri Net (TAPN) 是经典 Petri 网模型的时间扩展 <..> TAPAAL 工具提供了用于绘制 TAPN 模型的图形编辑器、用于试验设计网络的模拟器以及自动回答逻辑查询的验证环境以 CTL 逻辑的子集形式表示（本质上是 EF、EG、AF、AG 公式，无嵌套）。它还允许用户检查给定网络对于给定数字 k 是否是 k 有界的。验证算法将 TAPAAL 查询转换为 UPPAAL 查询，并依赖于 UPPAAL 验证引擎，但用户在模型验证的任何阶段都不必离开 TAPAAL GUI，错误跟踪直接显示在 TAPAAL 中。

（TAPAAL 屏幕截图（在 Ubuntu 10.10 上））

安装：

sudo add-apt-repository ppa:tapaal-packaging/tapaal

sudo apt-get update

sudo apt-get install tapaal

编辑： Tapaal 现在可以在http://www.tapaal.net上找到