软件介绍: 新版本的CPNtools建模工具，这是一款集编辑、设计与仿真以及分析于一体的有色Petri Net（CPN）工具，支持基础着色Petri网建立模型,以及带有时间和分层的着色petri网建立模型，软件提供了丰富的模型分析功能，具备强大的模型分析能力和模型验证能力。