Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems
| Title | Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems |
| Publication Type | Book Chapter |
| Year of Publication | 2005 |
| Authors | Tricas, F, García-Vallés F, Colom JM, Ezpeleta J |
| Editor | Hornos, MJ, Garrido JL |
| Book Title | Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005) |
| Pagination | 65-77 |
| Publisher | Thomson Paraninfo |
| City | Madrid, Spain |
| ISBN Number | 84-9732-432-3 |
| Export |
