Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets | IEEE Conference Publication | IEEE Xplore