چكيده به لاتين
Many railways around the world is included more single track line than multiple track. The Specifications, analyses and implementation of railway network control and signaling is very important, because their failure causes an accident, human and financial losses. In this thesis a rail line consists of two main stations and a substation is considered. The railway network is modeling by timed colored petri net. Places represent rail resources, and tokens represent trains. Management control traffic and signaling in railway network are discrete in nature. The supervisory control of the model are implying in order to that line usage requirement includes safety, deadlock, overtaking and Failure to stop the normal train in siding. In order to use the safe and uninterrupted movement of trains on illegal states have introduced for TCPN network. Thus, by supervisor control the respective states removed from the network. Also, The supervisory control is used for time subdividing and space splitting in order to trains movement synchronization at different speeds. Finally, by making times holes by controlling the trains time in the network, can achieved the optimal and feasible timed set
