Petri-net based control of six legged spider robot | IEEE Conference Publication | IEEE Xplore