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);