@inproceedings{
JirDeS:06-018,
author={G. Jiroveanu and B. {D}e Schutter and R.K. Boel},
title={On-line diagnosis for time {Petri} nets},
booktitle={Proceedings of the 17th International Workshop on Principles of
Diagnosis (DX-06)},
address={Burgos, Spain},
month=jun,
year={2006}
}