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 |