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

fYear

2000

fDate

2000

Firstpage

92

Lastpage

96

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Autonomous Decentralized Systems, 2000. Proceedings. 2000 International Workshop on

Conference_Location

Chengdu

Print_ISBN

0-7803-6575-5

Type

conf

DOI

10.1109/IWADS.2000.880892

Filename

880892