Modeling an electronic component manufacturing system using Object Oriented Colored Petri Nets | IEEE Conference Publication | IEEE Xplore