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

Construction of Rule Model of Belt Cluster System Based on CPTN

作　　者：李宁 张伟伟 Li Ning;Zhang Weiwei(Anhui Finance and Trade Vocational College,Hefei,Anhui 230601,China)

机构地区：[1]安徽财贸职业学院,安徽合肥230601

出　　处：《黑龙江工业学院学报（综合版）》2019年第3期25-30,共6页Journal of Heilongjiang University of Technology(Comprehensive Edition)

摘　　要：皮带运输系统是一个以传动装置带动输送带运转来运送散件物料的运输设备,其控制系统是一个典型离散事件控制系统和按顺序启停的实时控制系统。拟在进一步研究皮带运输系统运行状态和控制逻辑的基础上,运用形式化的建模方法将皮带运输系统的控制逻辑进行验证,绘制一种带约束组合弧的有色时间Petri网模型。把诸多控制设备的复杂逻辑控制策略图形化,提高了系统的可靠性和安全性,减少了设计和开发过程的错误。采用带约束组合弧的有色时间Petri网进行建模,有效地缓解了系统中的设备数量多的"节点爆炸"问题,使模型在表述系统逻辑控制行为时简单有效。Belt transport system is a piece of equipment used to deliver spare parts by running gear driven conveyor belt. It is a typical discrete event control and a real time control system by order of start and stop. Based on the further research of belt transport system operational status and control logic, we abstract the control logic applying the formal modeling approach and draws a kind of constraint combination arc colored timed Petri net model. Most complex logic control strategies are pictured and the liability and safety has also been improved so as to reduce the error of the design and development process. The Petri net model has also mitigated the system code explosion caused by too many devices, which also makes it simple and effective to describe the logic control of the system.

关 键 词：皮带运输机 皮带运输系统 控制逻辑规则语言 约束组合有色时间Petri网 

分 类 号：TB492[一般工业技术]