On-line Fault Detection of Discrete Event Systems by Petri Nets and Integer Linear Programming