Functional safety verification of train control procedure in train-centric CBTC by colored petri net
Communication-based Train Control (CBTC) system is a widely-used signaling system. There is an increasing demand for innovating the traditional ground-centric architecture. With the application of train-train communication, object control and other advanced techniques, Train-centric CBTC (TcCBTC) sy...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Faculty of Transport, Warsaw University of Technology
2020-06-01
|
| Series: | Archives of Transport |
| Subjects: | |
| Online Access: | http://aot.publisherspanel.com/gicid/01.3001.0014.2730 |