A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems (bibtex)

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

Reference:

A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems (Fernando Tricas and Fernando García-Vallés and José-Manuel Colom), In Proceedings of the 2005 IEEE International Conference on Robotics and Automation, ICRA 2005, April 18-22, 2005, Barcelona, Spain, IEEE, 2005.

Bibtex Entry:

@InProceedings{Tricas2005,
  author    = {Fernando Tricas and Fernando Garc{\'{\i}}a{-}Vall{\'{e}}s and Jos{\'{e}}-Manuel Colom and Joaqu{\'{\i}}n Ezpeleta},
  booktitle = {Proceedings of the 2005 {IEEE} International Conference on Robotics and Automation, {ICRA} 2005, April 18-22, 2005, Barcelona, Spain},
  title     = {A {P}etri Net Structure-Based Deadlock Prevention Solution for Sequential {R}esource {A}llocation {S}ystems},
  year      = {2005},
  pages     = {271--277},
  publisher = {{IEEE}},
  doi       = {10.1109/ROBOT.2005.1570131},
  groups    = {silarri:6},
  keywords  = {Petri Net Structure Theory, Resource Allocation Systems, Petri Net Analysis},
  url       = {https://doi.org/10.1109/ROBOT.2005.1570131},
}