Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment

Ghazel, Mohamed

doi:10.1109/tits.2009.2026310

Cited by 53 publications

(26 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, they focus on only the safety of the level crossing control system. In , the authors deal with a particular phenomenon which may cause collisions at level crossings, and which corresponds to the accumulation of queues of waiting vehicles on the level crossing exit zone. However, they emphasize more particularly the phenomenon of a traffic jam in the LC exit zone and the goal is to evaluate the collision risk on LCs induced by these circumstances.…”

Section: Definition Of the Safety Problems For Railroad Level Crossinmentioning

confidence: 99%

Design of Traffic Safety Control Systems for Railroads and Roadways Using Timed Petri Nets

Weng¹,

Huang²,

Pan³

et al. 2014

Asian Journal of Control

View full text Add to dashboard Cite

Timed Petri nets (TPNs) are useful for performance evaluation of discrete event systems due to their mathematical formalism. This paper proposes the use of TPNs to model parallel railroad level crossing traffic safety control systems. Double-track railroad lines using TPNs are illustrated. The resulting models allow us to identify and thus avoid critical scenarios in such systems by using conditions and events of the model that control the phase of traffic light alternations. Their analysis is performed to demonstrate how the models enforce the phase of traffic transitions using the method of a reachability graph with timed information. The liveness and reversibility of the proposed model are verified. This helps advance the state-of-the-art in traffic safety related to the intersection of railroads and roadways.

show abstract

Section: Definition Of the Safety Problems For Railroad Level Crossinmentioning

confidence: 99%

Design of Traffic Safety Control Systems for Railroads and Roadways Using Timed Petri Nets

Weng¹,

Huang²,

Pan³

et al. 2014

Asian Journal of Control

View full text Add to dashboard Cite

show abstract

“…However, they focus on only the safety of the LC control system. In [8], Ghazel dealt with a particular phenomenon that may cause collisions at LCs and corresponds to the accumulation of vehicle waiting queues on the LC exit zone. However, they emphasize more particularly the phenomenon of a traffic jam in the LC exit zone, and the goal is to evaluate the collision risk on LCs induced by these circumstances.…”

Section: Modeling Railroad Level Crossing Systemsmentioning

confidence: 99%

Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems

Huang

Weng

Zhou

2010

IEEE Trans. Intell. Transport. Syst.

View full text Add to dashboard Cite

Deterministic and stochastic Petri nets (DSPNs) are well utilized as a visual and mathematical formalism to model discrete event systems. This paper proposes to use them to model parallel railroad level crossing (LC) control systems. Their applications to both single-and double-track railroad lines are illustrated. The resulting models allow one to identify and thus avoid critical scenarios in such systems by conditions and events of the model that control the phase of traffic light alternations. Their analysis is performed to demonstrate how the models enforce the phase of traffic transitions by a reachability graph method. Their important properties are verified. To our knowledge, this is the first work that employs DSPNs to model a parallel railroad LC system and identify its critical scenarios for the purpose of their complete avoidance. This helps advance the state of the art in traffic safety related to the intersection of railroads and roadways.Index Terms-Deterministic and stochastic Petri net (DSPN), discrete event system, parallel railroad level crossing (LC), Petri net (PNs), traffic safety.

show abstract

“…A classical automatic level crossing system is composed of several modules. The local control system which manages the traffic in the crossing area, a pair of barriers (gate), traffic lights whose role is to alert and prevent road users from entering the crossing zone and a train-sensing module which monitors trains approaching/leaving (Ghazel, 2009). The subsystems mentioned above execute in parallel and synchronize through events.…”

Section: Case Study Descriptionmentioning

confidence: 99%

PATTERNS FOR TEMPORAL REQUIREMENTS ENGINEERING - A Level Crossing Case Study

Mekki¹,

Ghazel²,

Toguyéni³

2010

Proceedings of the 7th International Conference on Informatics in Control, Automation and Robotics

View full text Add to dashboard Cite

This work presents a method for verifying temporal requirements of time-constrained systems. The method predates by establishing a new time constraints (properties) taxonomy. Then, a basis of observation patterns relative to the predefined requirements is developed. Our approach allows the automated verification of temporal requirements, initially expressed in a semi-formal formalism, through model transformation and modelchecking. The contributions of the paper are: the definition of a new time constraints (properties) typology as well as a basis of appropriate State Machines (SM) observation patterns. The second contribution consists in developing an algorithm for transforming UML SM with time annotations into Timed Automata (TA). In practice, in order to verify the temporal aspects of a given specification, the observation patterns relative to the investigated properties are instantiated to make appropriate observers. Then using our transformation algorithm, the system specification (denoted in the shape of an UML SM model) with time annotations as well as the obtained observers are translated into TA models. The TA system model is next synchronized with the TA observers. Thereby, the verification process is reduced to a reachability analysis.

show abstract

Using Stochastic Petri Nets for Level-Crossing Collision Risk Assessment

Cited by 53 publications

References 13 publications

Design of Traffic Safety Control Systems for Railroads and Roadways Using Timed Petri Nets

Design of Traffic Safety Control Systems for Railroads and Roadways Using Timed Petri Nets

Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems

PATTERNS FOR TEMPORAL REQUIREMENTS ENGINEERING - A Level Crossing Case Study

Contact Info

Product

Resources

About