Petri网的编辑器_Petri Net Editor下载地址

使用此工具创建和编辑随机Petri网。

Petri网的编辑器是一个小的，易于使用的，基于Java的应用程序专门设计，为用户提供随机Petri网的编辑器。

此工具还允许您创建可达树和马尔可夫图形，模拟和收集统计数据模拟。