Application Of Petri Net To Automatic Cutting System For Shaped-steel | IEEE Conference Publication | IEEE Xplore