Department of Mechanical Engineering;
Tsinghua University;
Beijing;
China;
Institute of Nuclear and New Energy Technology;
Tsinghua University;
Beijing;
China;
Timed; Places; Control; Petri; nets; (TPCPN); Arena; Pebble; Bed; Reactors; Fuel; Elements; Cycling; System; (FECS);