Delft University of Technology Delft Center for Systems and Control Technical report 06-018 On-line diagnosis for time Petri nets β G. Jiroveanu, B. De Schutter, and R.K. Boel If you want to cite this report, please use the following reference instead: G. Jiroveanu, B. De Schutter, and R.K. Boel, βOn-line diagnosis for time Petri nets,β Proceedings of the 17th International Workshop on Principles of Diagnosis (DX-06), Burgos, Spain, 8 pp., June 2006. Delft Center for Systems and Control Delft University of Technology Mekelweg 2, 2628 CD Delft The Netherlands phone: +31-15-278.51.19 (secretary) fax: +31-15-278.66.79 URL: http://www.dcsc.tudelft.nl β This report can also be downloaded via http://pub.deschutter.info/abs/06_018.html