Resource-oriented Petri nets for deadlock avoidance in automated manufacturing | IEEE Conference Publication | IEEE Xplore