CPN Tools 是集 编辑、设计与仿真以及分析 于一身的有色Petri Net（CPN）工具，即Colored Petri nets。 此4.0.1是当前最新版，有着很好的GUI，易于使用。
CPN Tools不仅支持基础着色Petri网建立模型，也支持带有时间和分层的着色petri网建立模型。CPN Tools支持CPN ML编程语言，颜色集，时间，层次化建模等。同时，CPN Tools提供丰富的模型分析工具，如监视器，状态空间分析等，增强了它的模型分析能力和模型验证（MC）的能力。
2019-12-21 19:49:59
15.63MB
1
Visual Object Net++一款入门级的模拟软件，用于Petri网建模仿真的软件，支持时间以及混杂网。
2019-12-21 19:24:14
651KB
1
Petri网导论的扫描版电子书。Petri网是分布式系统的建模和分析工具，它特别便于描述系统中进程或部件的顺序，并发，冲突以及同步等关系。
2018-05-01 12:36:17
12.86MB
1