CPN (Color Petri Net） 即有色的Petri网，它在20世纪60年代首先由著名数学家Carl Adam Petri提出，适合于描述异步的、并发的计算机系统模型。 Petri网既有严格的数学表述方式，也有直观的图形表达方式，既有丰富的系统描述手段和系统行为分析技术，又为计算机科学提供坚实的概念基础。
2019-12-21 21:43:08
15KB
1
CPN帮助文档， CPN帮助文档， CPN帮助文档， CPN帮助文档
2019-12-21 21:09:57
39.54MB
1
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
终于找到了中文的使用说明文档了，里面有详细步骤的图示，适于初学者，不可多得的CPN Tools使用说明文档
2019-12-21 19:46:33
43.89MB
1