基于Petri网和UML的钢厂天车调度系统仿真  

Simulation of Crane Scheduling Systems for Steel Plant Based on Petri Nets and UML

作　　者：朱道飞[1,2] 王华[2] 王建军[2] 毕贵红[3] 赵业清[1] 

机构地区：[1]昆明理工大学冶金与能源工程学院,云南昆明650093 [2]昆明理工大学冶金节能减排教育部工程研究中心,云南昆明650093 [3]昆明理工大学电力工程学院,云南昆明650500

出　　处：《昆明理工大学学报（自然科学版）》2013年第3期5-11,共7页Journal of Kunming University of Science and Technology(Natural Science)

基　　金：国家自然科学基金项目(61064010);云南省自然科学基金资助项目(2008ZC007M)

摘　　要：天车调度是钢铁生产自组织复杂系统中各生产工艺匹配和协调运行的关键.针对天车调度任务繁杂及随机性的特点,利用UML面向对象建模语言,对天车调度系统进行剖析,并建立系统的需求分析模型、静态模型和动态模型,讨论了天车调度系统各模型实现机制.为弥补UML建模语言形式化表达不足,引入形式化建模工具Petri网建立系统的Petri网模型,并对系统Petri网模型进行静态和动态分析,来有效指导天车调度系统UML语言建模.仿真结果表明:建立的钢铁生产天车调度系统能有效模拟天车调度,并减少天车的被动运输,提高天车运行效率3%左右.Crane scheduling is the key to matching production process and coordinating task in self- organizing complex systems. According to the task complexity and randomness in crane scheduling systems, the requirement model, static model and dynamic model are built by UML. Then the internal implementation mechanism is dis- cussed. Aiming at making up the deficiency of formal expression by UML modeling language, Petri nets are in- troduced to establish the system model to effectively guide the UML modeling process in crane scheduling sys- tems. Simulation results show that the crane scheduling system can complete scheduling task of the steel - mak- ing and continuous casting as well as reduce the passive transport time. The operating efficiency of crane from the system is about 3% higher than that in a practical process.

关 键 词：PETRI网 天车调度 系统仿真 统一建模语言 

分 类 号：TP391[自动化与计算机技术—计算机应用技术] TF345[自动化与计算机技术—计算机科学与技术]