软件截图:
与平台无关的Petri网编辑器项目（PIPE）创建和分析Petri网的快速，高效和有效的。
一个关键的设计特点是模块化的方法通过用于分析，使新的模块可以很容易地和有力地写入，使用内置的数据层的方法为标准计算。
提供了六个分析模块，包括分析不变，状态空间分析（死锁，等等），以及模拟分析和分类。
PIPE符合XML Petri网标准（PNML）。为保存和载入Petri网的文件格式，通过使用XSLT，默认为PNML。
1 注释
علی دلیران 23 Nov 15
این برنامه رو از کجا دانلود کنم؟
و قابل نصب در ویندوزهست؟
ممنون
daliran@gmail.com