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

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 resul...

Full description

Saved in:
Bibliographic Details
Published in:Asian journal of control 2015-03, Vol.17 (2), p.626-635
Main Authors: Weng, Yi-Shun, Huang, Yi-Sheng, Pan, Yen-Liang, Jeng, MuDer
Format: Article
Language:English
Subjects:
Control systems
discrete event system
Petri net
Railroads
timed Petri net
Traffic accidents & safety
Traffic control
traffic safety
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1561-8625
1934-6093
DOI:10.1002/asjc.910