Use of Petri nets for resource allocation in projects | IEEE Journals & Magazine | IEEE Xplore