Modeling interactions in artificial transportation systems using petri net
Fenghua Zhu, Zhixue Wang, Fei-Yue Wang, Shuming Tang · 2006
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