@inproceedings{1ca8f6c09cf149d5a3c66d0de906f856,
title = "Deadlock control of multithreaded software based on Petri nets: A brief review",
abstract = "This work surveys the latest deadlock detection and control methods for parallel programs with its focus on the principal achievements of preventing deadlocks. It mainly discusses three methods based on Gadara nets, which respectively include: iterative control of general Gadara nets, iterative control of ordinary Gadara nets via Mixed Integer Programming (MIP) and iterative control of ordinary Gadara nets via Boolean satisfiability formulation (SAT). Finally, some directions for future research about deadlock control of multithreaded software based on Petri nets are discussed.",
author = "Gan, {M. D.} and Ding, {Z. J.} and Wang, {S. G.} and Wu, {W. H.} and Zhou, {M. C.}",
note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 13th IEEE International Conference on Networking, Sensing and Control, ICNSC 2016 ; Conference date: 28-04-2016 Through 30-04-2016",
year = "2016",
month = may,
day = "25",
doi = "10.1109/ICNSC.2016.7478975",
language = "English (US)",
series = "ICNSC 2016 - 13th IEEE International Conference on Networking, Sensing and Control",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "ICNSC 2016 - 13th IEEE International Conference on Networking, Sensing and Control",
address = "United States",
}