An Object-oriented Petri Net for supply chain system analysis based on networked manufacturing | IEEE Conference Publication | IEEE Xplore