Analysis of the concurrent model of train station based on Petri net

Petri nets are important instruments for modeling concurrent, distributed, asynchronous, parallel deterministic and non-deterministic systems. In this paper, we propose a concurrency analysis method for railway stations using Petri nets. By employing inter-current control analysis, the rail track flow of the railway station is simulated. This method also has an important function in improving the system's capability and in reducing its implementation difficulty.