Title :
Modeling interactions in artificial transportation systems using petri net
Author :
Zhu, Fenghua ; Wang, Zhixue ; Wang, Fei-Yue ; Tang, Shuming
Author_Institution :
Inst. of Autom., Chinese Acad. of Sci., Beijing
Abstract :
Agents and interactions between them are two key roles in modeling artificial transportation systems. This paper presents a formal theory to describe interactions between agents, which, together with the well developed models to describe components as agents, completes the first step towards establishing the formal structure for artificial transportation systems. By describing individual agents and the interactions between them as independent simple sequence processes and directive communication channels respectively, we models the whole system as one sequential communications system, which is one special type of Petri net. The theory is flexible enough to model diversified interactions between agents, and the resultant model possesses favorable properties. A case study of modeling road network has been conducted for the purpose of illustration
Keywords :
Petri nets; transportation; Petri net; artificial transportation systems; directive communication channels; road network modeling; sequential communication system; Automation; Communication channels; Communication systems; Costs; Electronic mail; Intelligent systems; Roads; System testing; Traffic control; Transportation;
Conference_Titel :
Intelligent Transportation Systems Conference, 2006. ITSC '06. IEEE
Conference_Location :
Toronto, Ont.
Print_ISBN :
1-4244-0093-7
Electronic_ISBN :
1-4244-0094-5
DOI :
10.1109/ITSC.2006.1707374
