Modeling and Simulation of Dedicated Railway Transportation Dispatching System Based on Petri Net | IEEE Conference Publication | IEEE Xplore