BibTeX Entry

Back to list

@inproceedings{Parosh:Aletta:bqoTPN,
  author	= {Abdulla, Parosh Aziz and Nyl{\'e}n, Aletta},
  title		= {Timed {Petri} Nets and {BQOs}},
  booktitle	= {Proc. {ICATPN'2001}: 22nd Int. Conf. on application and theory of {Petri} nets},
  pages		= {53--70},
  series	= {Lecture Notes in Computer Science},
  volume	= {2075},
  year		= {2001},
  URL		= {files/tpn.ps}
}