Linear Analysis of Deadlock-Freeness of Petri Net Models (bibtex)

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

Reference:

Linear Analysis of Deadlock-Freeness of Petri Net Models (Enrique Teruel, José-Manuel Colom and Manuel Silva), In Actas de las III Jornadas de Concurrencia, 1993.

Bibtex Entry:

@InProceedings{Teruel1993b,
  author       = {Enrique Teruel and Jos{\'{e}}-Manuel Colom and Manuel Silva},
  booktitle    = {Actas de las III Jornadas de Concurrencia},
  title        = {Linear Analysis of Deadlock-Freeness of {Petri} Net Models},
  year         = {1993},
  address      = {Valencia, Espa\~na},
  month        = {September},
  organization = {Universidad Polit\'ecnica de Valencia},
  pages        = {175--180},
  groups       = {silarri:6},
  isbn         = {D.L.:  V-1827-1993},
  keywords     = {Petri Net Structure Theory, Petri Net Analysis},
}