Modeling Traffic Signal Control Using Petri Nets

List, George; Cetin, Mecit

doi:10.1109/tits.2004.833763

Cited by 121 publications

(51 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…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

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

“…Petri nets have been used with success as a formal model for traffic signal control [11], urban traffic control [12], and level crossing control system [13] aiming security.…”

Section: Modellingmentioning

confidence: 99%

Extraction of Critical Scenarios in a Railway Level Crossing Control System

Medjoudj

Yim

2007

INT J COMPUT COMMUN

View full text Add to dashboard Cite

This paper deals with the safety of the level crossing control system. We propose one way of the safety evaluation witch consist on the extraction of feared scenarios in the Petri net model of the system. We use ESA_PetriNet tool (Extraction Scenarios & Analyzer by Petri Net model) that was developed in the aim of extraction of feared scenarios in computer-controlled systems. These scenarios characterize the sequences of actions leading to dangerous situations. The taking into account of the failures, the temporal constraints and partially the continuous dynamic (by temporal abstraction) of the system makes it possible to respect the order of appearance of the events in the generated scenarios.

show abstract

“…Later on, Tzes, et al (1996), Gallego, Farges and Henry (1996) and Di Febbraro, Giglio and Sacco (2002) have modelled traffic lights controlling TNs by PNs: these approaches share the idea to adjust signals controlling an intersection according to the distinct tokens deposited in a PN controller. More recently, List and Cetin (2004) discuss the use of PNs in modelling traffic signal controls and perform a structural analysis of the control PN model by P-invariants, demonstrating how such a model enforces the traffic operation safety rules. With particular reference to the use of PNs for modelling TNs, Di Febbraro, et al (2002) present a traffic model in a timed PN framework, where tokens are vehicles and places are parts of lanes and intersections.…”

Section: Literature Reviewmentioning

confidence: 99%