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

by Fernando Tricas and Fernando García-Vallés and José-Manuel Colom

Reference:

Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems (Fernando Tricas and Fernando García-Vallés and José-Manuel Colom), In Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005), Thomson Paraninfo S.A., Madrid, España, 2005.

Bibtex Entry:

@InProceedings{Tricas2005a,
  author    = {Fernando Tricas and Fernando Garc{\'{\i}}a{-}Vall{\'{e}}s and Jos{\'{e}}-Manuel Colom and Joaqu{\'{\i}}n Ezpeleta},
  booktitle = {Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005)},
  title     = {Using Linear Programming and the {Petri} Net Structure for Deadlock Prevention in {S}equential {R}esource {A}llocation {S}ystems},
  year      = {2005},
  address   = {Granada, Espa{\~{n}}a},
  month     = {September},
  pages     = {65--77},
  publisher = {Thomson Paraninfo S.A., Madrid, Espa{\~{n}}a},
  groups    = {silarri:6},
  isbn      = {84-9732-432-3},
  keywords  = {Petri Net Structure Theory, Resource Allocation Systems, Petri Net Analysis, Petri Net Synthesis},
}