Evaluation of Petri net process model representation as a tool of virtual manufacturing | IEEE Conference Publication | IEEE Xplore