Two generalized-petri-net-based strategies for deadlock prevention in resource allocation systems.

Hesuan Hu, Zhiwu Li, Mengchu Zhou

Browse the full SMC paper archive.