Linear Analysis of Deadlock-Freeness Using PNs (bibtex)

by Enrique Teruel, José-Manuel Colom and Manuel Silva

Reference:

Linear Analysis of Deadlock-Freeness Using PNs (Enrique Teruel, José-Manuel Colom and Manuel Silva), Technical report 92-29, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, 1992.

Bibtex Entry:

@TechReport{Teruel1992b,
  author      = {Enrique Teruel and Jos{\'{e}}-Manuel Colom and Manuel Silva},
  institution = {Departamento de Ingenier\'{\i}a El\'ectrica e Inform\'atica, Universidad de Zaragoza},
  title       = {Linear Analysis of Deadlock-Freeness Using {PNs}},
  year        = {1992},
  address     = {Zaragoza, Espa\~na},
  month       = {September},
  number      = {92-29},
  type        = {Research Report},
  groups      = {silarri:6},
  keywords    = {Petri Net Structure Theory, Petri Net Analysis},
}