摘要
基于RITS的分布式系统结构和智能属性特征,针对列车群运行系统中子系统之间的关系描述以及通信协作行为的建模问题,采用面向Agent的G-Net方法构建了一种多Agent的列车群运行模型(AGNTOM)。该模型体现了多Agent技术、G-Net(Petri网)形式化描述、便于分析等特点,不仅能够描述列车Agent与车站Agent在列车运行过程中的通信能力,而且能使用形式化方法确保模型的各种属性。对模型所描述的列车与车站之间的通信协商过程采用基本Petri网模型描述,并使用已有的Petri网分析方法进行相关属性的分析。研究结果表明:模型具有L3-活性;模型所描述的列车和车站之间的通信协商行为不会导致通信的死锁与阻塞等。
Aiming at formal descriptions of interrelationships and communication behaviors among sub-systems of train group operation system, based on essential characteristics of Railway Intelligent Transportation System(RITS), we construct the Agent-Oriented G-Net Train Group Operation Model (AGNTOM) using Agent-Oriented G-Net approach. The model not only embodies the design pattern of multi-agent system, but also utilizes existing Petri-nets analysis techniques to ensure the correctness of design. In order to validate the process of communication between train agents and station agents, we use one Petri-nets analysis approach to analyze the simplified Petri-nets form of the model. And the result shows the model is L3-1iveness which means communication behaviors between train and station will not cause deadlocks and blocks during communicating.
出处
《中国铁道科学》
EI
CAS
CSCD
北大核心
2005年第4期109-113,共5页
China Railway Science
基金
国家自然科学基金(600332020)
河南省自然科学基金(0411012300)