Motion Modeling of Crawling Robot Based on Layer Controlled Hybrid Petri Net | IEEE Conference Publication | IEEE Xplore