摘要
针对集装箱码头物流系统(Container Terminal Logistics System,CTLS)建模存在的问题,通过分析CTLS的结构和行为特点,提出了基于规则的面向对象Petri网(Rule-based Object-oriented Petri Net,R-OPN)的建模方法.该方法在对象子网和门变迁中融入决策规则,建立了CTLS系统动态行为和调度控制模型,简洁明了地描述了系统状态和决策规则之间的关系.在此模型的基础上,分析了模型的结构特性(死锁,冲突等),并提出了解决冲突的决策规则,为CTLS的设计、分析、调度与仿真提供了有效的工具.
According to some existing problems for container terminal logistics system （CTLS） modeling, this paper presented a rule-based object-oriented Petri net （R-OPN） method, which is based on the analysis of characteristic of structure and behavior. This method integrates the decisions-making rules into object＇s sub-net and transition gates. Using this method, a dynamic behavior model for scheduling and control are built, and it describes the relationships among states and decision-making rules of CTLS system. Based on the structure of R-OPN, a system＇s structural properties such as deadlock and conflictions can be analyzed, which provide an efficient tool for designing, analyzing, scheduling and simulation of CTLS.
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2007年第2期231-237,共7页
Journal of Shanghai Jiaotong University
基金
上海市科学技术发展基金科技攻关项目(032112085-12)
