Platform Independent Petri Net Editor 2.5

与平台无关的Petri网编辑器项目（PIPE）创建和分析Petri网的快速，高效和有效的。一个关键的设计特点是模块化的方法通过用于分析，使新的模块可以很容易地和有力地写入，使用内置的数据层的方法为标准计算。提供了六个分析模块，包括分析不变，状态空间分析（死锁，等等），以及模拟分析和分类。PIPE符合XML...