Two generalized-petri-net-based strategies for deadlock prevention in resource allocation systems | IEEE Conference Publication | IEEE Xplore