Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems

TitleUsing Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems
Publication TypeBook Chapter
Year of Publication2005
AuthorsTricas, F, García-Vallés F, Colom JM, Ezpeleta J
EditorHornos, MJ, Garrido JL
Book TitleActas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005)
Pagination65-77
PublisherThomson Paraninfo
CityMadrid, Spain
ISBN Number84-9732-432-3
Export