In: Proc. 2000 Int. Workshop on Autonomous Decentralized Systems, 21-23 September 2000, Chengdu, China, pages 92-96. 2000.
Abstract: Petri nets are important instruments for modeling concurrent, distributed, asynchronous, parallel, deterministic and non-deterministic systems. This paper proposes a concurrency analysis method for railway stations using Petri nets. By employing inter-current control analysis, the rail track flow of the the railway station is simulated. This method has also an important function in improving the system's capability and in reducing its implementation difficulty.
Keywords: Petri nets, railway stations.