基于CPTN的皮带机群系统规则化模型构建

皮带运输系统是一个以传动装置带动输送带运转来运送散件物料的运输设备,其控制系统是一个典型离散事件控制系统和按顺序启停的实时控制系统。拟在进一步研究皮带运输系统运行状态和控制逻辑的基础上,运用形式化的建模方法将皮带运输系统的控制逻辑进行验证,绘制一种带约束组合弧的有色时间Petri网模型。把诸多控制设备的复杂逻辑控制策略图形化,提高了系统的可靠性和安全性,减少了设计和开发过程的错误。采用带约束组合弧的有色时间Petri网进行建模,有效地缓解了系统中的设备数量多的"节点爆炸"问题,使模型在表述系统逻辑控制行为时简单有效。