Process nets with resources for manufacturing modeling and their analysis | IEEE Journals & Magazine | IEEE Xplore