Design and modeling of rail network (Tehran metro line7) by creating a routing to increase line service and ensure safety by the method of petri nets

This paper deals with modeling the rail network with the route separation technique in order to build the route and increase line service with safety assurance, which is an important issue in the rail transport industry. Using formal methods, the paper presents a model for increasing line capacity using the High Level Petri Nets (HLPN) method. The model is designed with CPNTools software. The reason for using this software is to support hierarchical networks, which are the basic principles of this work. Using this software, with the implementation of various scenarios, it is possible to evaluate and approve with the high-speed. This paper mainly focuses on designing to increase the capacity of lines by "one-way creation" with the help of hierarchical networks in the field of urban rail transport. Three stations of Tehran Metro Line 7 as a selected route plan by creating a "route construction" and the technique of "separating consecutive line routes" (single route) from the desired single route signal to the next single route signal on a regular basis. , Increasing the capacity and operation of the line is possible with a guarantee of safety. By showing the dynamic behavior of the model, it is proved by the mentioned software that the path construction to increase the service has been done correctly. Experimental results show that the simulated model, in the neutralization of time models has ensured the assistance and increase of line service while observing safety.