Quarterly Report of RTRI · 2009 · 39 citations · 9 references
EngineeringIndustrial EngineeringSchedulingTransportationTransportation EngineeringIntelligent Transportation SystemsLocation-allocation ModelsPetri Net ModelsRailway SchedulingRescheduling
In the event of an accident on a railway line, the dispatcher responsible for train rescheduling on the line initially tries to stop related trains to ensure safety. In particular, if the accident causes blockage of the line for a long time, the dispatcher must decide which trains should keep running and which should be stopped. Moreover, the locations of the trains to be stopped also need to be decided appropriately at that point. This decision-making process is referred to as train stop deployment planning. In this paper, we propose an algorithm using a Petri-net-based modelling approach as a solution to this problem, and outline the numerical results produced.
9
Petri nets: Properties, analysis and applications
T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations
An Algorithm for the General Petri Net Reachability Problem
Ernst Mayr · SIAM Journal on Computing · 1984 · 457 citations