چكيده به لاتين
Rail transport systems play an important role in the world. urban populations are growing, but the capacity to transport not extended accordingly. On the other hand the range of modeling techniques in networks, has found many applications. One way of modeling using Petri nets and a variety of colored Petri's development. Because Colored Petri nets are graphical capabilities, in industry, especially rail transport networks have been used extensively.
In this thesis, we have introduced a variety of developments Petri net to model transport systems. The main components of the line and a variety of signals has introduced. Among the models presented in various articles, useful model to model main line and signal samples components for use in railway, are presented. Then, by using supervisory control who sees the logic of colored Petri network is designed, terms of disruption and conflict will be resolved. Finally, the network is analyzed using CPN Tools software. Network with the various trains in both directions in terms of safety and lack of interruption is investigated. CPN Tools software analysis reports are presented in the Appendix.
