Structural Analysis of Signal Transition Graphs (bibtex)

by F. García-Vallés and José-Manuel Colom

Reference:

Structural Analysis of Signal Transition Graphs (F. García-Vallés and José-Manuel Colom), In Proceedings of the Workshop Petri Nets in System Engineering (PNSE’97). Modelling, Verification and Validation. Hamburg, Germany, September 25-26, 1997, University of Hamburg, Informatik, Bericht No. 205, volume 4, 1997.

Bibtex Entry:

@InProceedings{Garcia-Valles1997,
  author    = {F. {Garc{\'{\i}}a{-}Vall{\'{e}}s} and Jos{\'{e}}-Manuel Colom},
  booktitle = {Proceedings of the Workshop Petri Nets in System Engineering (PNSE’97). Modelling, Verification and Validation. Hamburg, Germany, September 25-26, 1997},
  title     = {Structural {A}nalysis of {S}ignal {T}ransition {G}raphs},
  year      = {1997},
  address   = {Vancouver, British Columbia, Canada},
  month     = {September},
  pages     = {123--134},
  publisher = {University of Hamburg, Informatik, Bericht No. 205},
  volume    = {4},
  doi       = {10.1109/ICSMC.1995.538320},
  groups    = {silarri:6},
  isbn      = {0-7803-2559-1},
  keywords  = {Petri Net Structure Theory, Petri Net Analysis, Petri Net Modelling, Digital Circuits},
  url       = {http://www.informatik.uni-hamburg.de/TGI/events/pnse97/papers/garcia-valles.ps.gz},
}