On-line fault detection in discrete event systems by Petri nets and integer linear programming
scientific article; zbMATH DE number 5655185
scientific article