Petri-net-based implementations for FIRA weightlifting and sprint games with a humanoid robot. - Chung-Hsien Kuo; Yu-Chen Kuo; Ting-Shuo Chen; Yu-Ping Shen; Chia-Che Cheng (Robotics Auton. Syst., 2014)