Title :
Analysis of the concurrent model of train station based on Petri net
Author :
Lei, Tang ; Tanglong, Chen ; Jian, Xiao
Author_Institution :
Southwest Jiaotong Univ., Sichuan, China
Abstract :
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
Keywords :
Petri nets; concurrency theory; control system analysis; multivariable systems; rail traffic; railways; traffic control; Petri nets; asynchronous systems; concurrency analysis method; concurrent model; concurrent systems; distributed systems; implementation; inter-current control analysis; parallel deterministic systems; parallel nondeterministic systems; rail track flow; railway stations; train stations; Analytical models; Control systems; Hardware; Instruments; Motion analysis; Petri nets; Power system modeling; Process control; Protocols; Workflow management software;
Conference_Titel :
Autonomous Decentralized Systems, 2000. Proceedings. 2000 International Workshop on
Conference_Location :
Chengdu
Print_ISBN :
0-7803-6575-5
DOI :
10.1109/IWADS.2000.880892
