使用定时Petri网和模块化状态网的仿人机器人运动规划| IEEE会议出版物| IEEE Xplore