共 50 条
- [1] Researching colored Petri nets model of communication based train control system [J]. Xitong Fangzhen Xuebao / Journal of System Simulation, 2005, 17 (10): : 2388 - 2391
- [2] Modeling and Analysis of Maglev Communication System Based on Colored Petri Nets [J]. 2017 17TH IEEE INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY (ICCT 2017), 2017, : 681 - 686
- [3] Performance Analysis of a Train-to-Train Communication System using Colored Petri nets [J]. 2018 INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2018,
- [4] Simulation of a Train Communication System Using Timed Colored Petri Nets [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY, VOLS 1-3, 2009, : 612 - +
- [5] Modeling Wire Train Bus Communication Using Timed Colored Petri Nets [J]. 2008 PROCEEDINGS OF SICE ANNUAL CONFERENCE, VOLS 1-7, 2008, : 2789 - +
- [6] CBTC (Communication Based Train Control): system and development [J]. COMPUTERS IN RAILWAYS X: COMPUTER SYSTEM DESIGN AND OPERATION IN THE RAILWAY AND OTHER TRANSIT SYSTEMS, 2006, 88 : 413 - +
- [7] TOWARDS MODELING AND EVALUATION OF AVAILABILITY OF COMMUNICATION BASED TRAIN CONTROL (CBTC) SYSTEM [J]. PROCEEDINGS OF 2009 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS TECHNOLOGY AND APPLICATIONS, 2009, : 860 - 863
- [8] Modeling of an interoperability test bench for the on-board system of a train control system based on Colored Petri Nets [J]. COMPUTERS IN RAILWAYS XII: COMPUTER SYSTEM DESIGN AND OPERATION IN RAILWAYS AND OTHER TRANSIT SYSTEMS, 2010, 114 : 271 - +
- [9] Safety Analysis of Train Control System Based on Colored Petri Nets and System-Theoretic Process Analysis [J]. PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ELECTRICAL AND INFORMATION TECHNOLOGIES FOR RAIL TRANSPORTATION (EITRT) 2017: TRANSPORTATION, 2018, 483 : 175 - 184