Application of Object-Oriented Petri Net in Manufacturing System Modeling | IEEE Conference Publication | IEEE Xplore