From Place/Transition Petri nets to B abstract machines for safety critical systems

Boudi, Zakaryae; Miloudi, El; Koursi, El Miloudi El; Collart-Dutilleul, Simon

doi:10.1016/j.ifacol.2015.09.549

Cited by 3 publications

(1 citation statement)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, the number of arrival-departure tracks in a station is limited. The timetables of connected sections may be infeasible if too many trains pass an method [13]. Khan et al employed the Petri net model to reduce the existing two-dimensional controls along the switch and level crossing to one-dimensional for shifting it to a train only [14].…”

Section: Introductionmentioning

confidence: 99%

A Petri Net Model of Train Operation Simulation for Harmonizing Train Timetables of Neighbor Dispatching Sections

Meng

Jia

Xiang³

2018

PROMET

View full text Add to dashboard Cite

Train timetable is the key document to regulate railway traffic through sequencing train movements to keep the appropriate order. Timetable stability and on-schedule rate are closely related. Delays caused by disturbances in train operations can be absorbed by a high quality timetable with high stability, and the on-schedule rate then can be assured. This paper improves the stability of timetables of several connected railway sections to assure the on-schedule rate with a simulation method. Firstly, we build a macroscopic network model of train operation in a railway network using the Petri net theory. Then we design the train tracking subnet model, the station subnet model and arrival-departure track subnet model. At last we propose a computing case, simulating the train operation process based on the presented models, and the simulation results prove the feasibility and availability of the models. The approach presented in this paper can offer valuable decision-support information for railway operators preparing train timetables.

show abstract

Section: Introductionmentioning

confidence: 99%