Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources | IEEE Journals & Magazine | IEEE Xplore