Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling

Tolba, Cherif; Lefebvre, Dimitri; Thomas, Philippe; Moudni, Abdellah El

doi:10.1016/j.simpat.2005.01.001

Cited by 91 publications

(39 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…It means that the phase two can start. After it fires, four new tokens are drop into EW_GS_R, EW_TL_G, NS_GS_R, NS_TL_R, respectively, as shown in M 8 : 27) i f p = EW_TL_G(phase2) 1 (R, 30) i f p = NS_GS_R ∅ otherwise in M 9 , transition phase3 is enabled, it can fire. Firing the enabled transition phase3 at marking M 9 yields marking M 10 , it means that the go-straight green lights in north-southward traffic direction turn on and continue for 27 s.…”

Section: Appendix Amentioning

confidence: 99%

Hierarchical Colored Petri Nets for Modeling and Analysis of Transit Signal Priority Control Systems

Zhao

et al. 2018

Applied Sciences

View full text Add to dashboard Cite

Abstract:In this paper, we consider the problem of developing a model for traffic signal control with transit priority using Hierarchical Colored Petri nets (HCPN). Petri nets (PN) are useful for state analysis of discrete event systems due to their powerful modeling capability and mathematical formalism. This paper focuses on their use to formalize the transit signal priority (TSP) control model. In a four-phase traffic signal control model, the transit detection and two kinds of transit priority strategies are integrated to obtain the HCPN-based TSP control models. One of the advantages to use these models is the clear presentation of traffic light behaviors in terms of conditions and events that cause the detection of a priority request by a transit vehicle. Another advantage of the resulting models is that the correctness and reliability of the proposed strategies are easily analyzed. After their full reachable states are generated, the boundness, liveness, and fairness of the proposed models are verified. Experimental results show that the proposed control model provides transit vehicles with better effectiveness at intersections. This work helps advance the state of the art in the design of signal control models related to the intersection of roadways.

show abstract

Section: Appendix Amentioning

confidence: 99%

Hierarchical Colored Petri Nets for Modeling and Analysis of Transit Signal Priority Control Systems

Zhao

et al. 2018

Applied Sciences

View full text Add to dashboard Cite

show abstract

“…According to some existing works, the modelling of the systems by using Petri nets formalisms can be considered from either a discrete and/or a continuous point of view. Continuous Petri nets for the macroscopic and microscopic traffic flow control are used in [15]- [34], while hybrid Petri nets are used in [11] to provide a valuable model of urban networks of signalized intersections. Recently, batch Petri nets with controllable batch speed are used [10] to study a portion of the A12 highway in The Netherlands.…”

Section: A Review Of the Literaturementioning

confidence: 99%

“…These are a few works that demonstrate the high potential of Petri nets as a tool for modelling and performance analysis of urban transportation systems, but also on the other hand, it is shown that the application of Petri nets is still in its early stage and particularly limited to intersection traffic control [11]- [14]- [15]- [25]- [35]- [34] and to some studies dealing with the modelling of urban transportation systems for planning purposes [28]- [29]- [33]. In addition, according to our knowledge, unlike traditional urban transportation systems, no work has been undertaken on PBS systems modelling and performances analysis by using Petri net models.…”

Section: A Review Of the Literaturementioning

confidence: 99%

Petri Nets Models for Analysis and Control of Public Bicycle-Sharing Systems

Labadi¹,

Benarbia²,

Hamaci³

et al. 2012

Petri Nets - Manufacturing and Computer Science

View full text Add to dashboard Cite

“…Many others' works considered urban traffic networks to be hybrid systems and are interested in using Hybrid Petri Nets (HPNs) to model and analyse these systems [12,13]. Recently, the HPNs models proposed by [14,15] attempted to state and solve the problem of coordinating several traffic lights with the aim of improving the performance of some classes of special vehicles (public and emergency vehicles).…”

Section: Related Workmentioning

confidence: 99%

Computer Simulation: A Hybrid Model for Traffic Signal Optimisation

Jbira¹,

Ahmed

2011

Journal of Information Processing Systems

View full text Add to dashboard Cite

Abstract-With the increasing number of vehicles in use in our daily life and the rise of traffic congestion problems, many methods and models have been developed for real time optimisation of traffic lights. Nevertheless, most methods which consider real time physical queue sizes of vehicles waiting for green lights overestimate the optimal cycle length for such real traffic control. This paper deals with the development of a generic hybrid model describing both physical traffic flows and control of signalised intersections. The firing times assigned to the transitions of the control part are considered dynamic and are calculated by a simplified optimisation method. This method is based on splitting green times proportionally to the predicted queue sizes through input links for each new cycle time. The proposed model can be easily translated into a control code for implementation in a real time control system.

show abstract

Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling

Cited by 91 publications

References 8 publications

Hierarchical Colored Petri Nets for Modeling and Analysis of Transit Signal Priority Control Systems

Hierarchical Colored Petri Nets for Modeling and Analysis of Transit Signal Priority Control Systems

Petri Nets Models for Analysis and Control of Public Bicycle-Sharing Systems

Computer Simulation: A Hybrid Model for Traffic Signal Optimisation

Contact Info

Product

Resources

About