Deadlock is an undesired situation in multithreaded software since it can lead to the stoppage of software. This paper studies the problem of deadlock control of multithreaded software based on Gadara nets. which are well studied for modelling concurrent programs. In particular. https://www.marcelovicente.com/product-category/oxydant-creme-3-75-12-5-volume/