On liveness analysis through linear algebraic techniques (bibtex)

by José-Manuel Colom, Javier Campos and Manuel Silva

Reference:

On liveness analysis through linear algebraic techniques (José-Manuel Colom, Javier Campos and Manuel Silva), In Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990, 1990.

Bibtex Entry:

@InProceedings{Colom1990,
  author    = {Jos{\'{e}}-Manuel Colom and Javier Campos and Manuel Silva},
  booktitle = {Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990},
  title     = {On liveness analysis through linear algebraic techniques},
  year      = {1990},
  address   = {Paris, France},
  month     = {June},
  groups    = {silarri:6},
  keywords  = {Petri Net Theory, Petri Net Structure Theory, Petri Net Analysis},
}