Research Article

Research and Application of FTA and Petri Nets in Fault Diagnosis in the Pantograph-Type Current Collector on CRH EMU Trains

Figure 4

Transfer of tokens in the Petri net of the CRH EMU pantograph.