A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems.

Fernando Tricas, Fernando Garca-Valls, Jos Manuel Colom, Joaquin Ezpeleta

Browse the full ICRA paper archive.