A Petri Net Structure– Based Deadlock Prevention Solution for Sequential Resource Allocation Systems | Publicación