Deadlock control of multithreaded software based on Petri nets: A brief review | IEEE Conference Publication | IEEE Xplore