@inproceedings{
JirBoe:06-017,
author={G. Jiroveanu and R.K. Boel and B. {D}e Schutter},
title={Fault diagnosis for time {Petri} nets},
booktitle={Proceedings of the 8th International Workshop on Discrete Event
Systems (WODES'06)},
address={Ann Arbor, Michigan},
pages={313--318},
month=jul,
year={2006}
}