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 Proceedings of the European Control Conference 1993, ECC'93. Volume 2 (European Control Association, ed.), Rijksuniv., 1993.

Bibtex Entry:

@InProceedings{Teruel1993a,
  author    = {Enrique Teruel and Jos{\'{e}}-Manuel Colom and Manuel Silva},
  booktitle = {Proceedings of the European Control Conference 1993, ECC'93. Volume 2},
  title     = {Linear Analysis of Deadlock-Freeness of {Petri} Net Models},
  year      = {1993},
  address   = {Gr{\"{o}}ningen, The Netherlands},
  editor    = {European Control Association},
  month     = {June},
  pages     = {513-518},
  publisher = {Rijksuniv.},
  groups    = {silarri:6},
  isbn      = {9789036703741},
  keywords  = {Petri Net Structure Theory, Petri Net Analysis},
}