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

Abstract

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.

Simulation-Based Optimization for Storage Allocation Problem of Outbound Containers in Automated Container Terminals

“…In a TPN, transactions are no longer finished instantaneously. On firing of a transaction, required tokens in the input places are consumed immediately, while tokens in the output places are generated some time later [36,37]. In simulating the container handling system in ACT, token colors could be used to distinguish different QC, ASC, AGV, and containers, while transaction times could be used to indicate the time length of equipment motions.…”

Control Schemes for Autonomous Car‐following Systems with two Classical Compensators

“…Weng et al . designed traffic‐safety control systems for roadways and railways by using timed petri nets and verified the validity of the model. Bao et al .…”

Fault Diagnosis for Discrete Event Systems Modeled By Bounded Petri Nets

“…Solving the fault diagnosis problem of discrete event systems (DESs) consists in associating a diagnosis state, such as "normal" or "faulty" or "uncertain", to each observation. The problem has received much attention in the literature in the past few decades [1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17].…”