Deadlock control of multithreaded software based

on Petri nets
Gan, M. D., Ding, Z. J., Wang, S. G., Wu, W. H., & Zhou, M. C. (2016, April). Deadlock control of
multithreaded software based on petri nets: A brief review. In 2016 IEEE 13th International Conference
on Networking, Sensing, and Control (ICNSC) (pp. 1-5). IEEE.

A Deadlock Prevention Policy for a Class of

Multithreaded Software
Duo, W., Jiang, X., Karoui, O., Guo, X., You, D., Wang, S., & Ruan, Y. (2020). A deadlock prevention
policy for a class of multithreaded software. IEEE Access, 8, 16676-16688.

UNDEAD: Detecting and preventing deadlocks in

production software
Zhou, J., Silvestro, S., Liu, H., Cai, Y., & Liu, T. (2017, October). Undead: Detecting and preventing
deadlocks in production software. In 2017 32nd IEEE/ACM International Conference on Automated
Software Engineering (ASE) (pp. 729-740). IEEE.