Deadlock prevention method for locomotive transportation dispatching system based on Petri Nets

As for the deadlock prevention problem of locomotive dispatching system, an improved dispatching rule is proposed based on former related work firstly. Then, the method of deadlock prevention based on Petri Nets for transporting dispatching system is studied. An offline deadlock prevention algorithm is presented by tabular method, by which the maximum number N of locomotives that can accommodate in the dispatching system can be calculated. Lastly, through constructing the resource allocation model based on Petri nets, the correctness of deadlock prevention algorithm is proved, and the necessary and sufficient condition for deadlock-free control of the dispatching system is verified. This approach that combining modelling and deadlock-free control is easy to implement and can be embedded into the real-time scheduler for developing large monitoring system software in future.