Petri-net-based coordination motion control for legged robot | IEEE Conference Publication | IEEE Xplore