CPNtools建模工具

CPNTools是集编辑、设计与仿真以及分析于一体的有色PetriNet（CPN）工具，即ColoredPetrinets。CPNTools不仅支持基础着色Petri网建立模型，也支持带有时间和分层的着色petri网建立模型。同时，CPNTools提供丰富的模型分析工具，增强了它的模型分析能力和模型验证（MC）的能力。