Event-oriented framework for smart transportation

In this paper, an event-oriented modeling methodology for agent-based smart transportation systems supported by the n-LNS Petri net formalism is proposed. The methodology allows modeling and incorporating capabilities of smart transportation systems as well as modeling smart transportation systems as an event-oriented system of systems. The proposed framework makes use of three hierarchical levels of abstraction to describe smart transportation systems: (i) the highest level models a transportation network; (ii) the middle level models agents (e.g., cars); and (iii) the lowest level models individual agent behaviors (e.g., driving behaviors). In doing so, the components of an agent-based smart transportation system and their concurrent interrelationships are formally defined, which enables the quantitative evaluation of smart transportation systems by performing discrete-event simulations.