Traffic-responsive Signalling Control through Timed Petri Nets
نویسندگان
چکیده
This paper addresses the optimization of the green light durations in a signalized urban area, by means of a traffic-responsive control strategy. The adopted model, mainly consisting of signalized intersections and roads, is microscopically represented by means of deterministic-timed Petri nets (DTPNs), which allow a compact representation of the traffic behaviour. The proposed optimization algorithm includes the solution to a mathematical programming problem constrained by the DTPN state equations. Copyright c © 2005 IFAC
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملAn urban traffic network model via coloured timed Petri nets
This paper deals with modelling of traffic networks for control purposes. A modular framework based on coloured timed Petri nets is proposed to model the dynamics of signalized traffic network systems: places represent link cells and crossing sections, tokens are vehicles and token colours represent the routing of the corresponding vehicle. In addition, ordinary timed Petri nets model the signa...
متن کاملModeling and Analysis of Urban Traffic Lights Control Systems Using Timed CP-nets
Petri nets have been utilized as a visual formalism for the modeling of complex system. It illuminates the features on describing properties of causality, concurrency and synchronization. This paper focuses on the use of Timed Coloured Petri nets (Timed CP-nets) to model a basic traffic control system. A module of basic traffic control system of Timed CP-nets model is successfully constructed. ...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کامل