A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems | IEEE Conference Publication | IEEE Xplore