On Petri Net Modeling of Automated Manufacturing Systems | IEEE Conference Publication | IEEE Xplore