Publication | Closed Access

On-line fault detection in discrete event systems by Petri nets and integer linear programming

Petri NetReliability EngineeringEngineeringDiscrete Event SystemDiscrete Event SystemsOn-line Fault DetectionVerificationStochastic Petri NetFormal MethodsProcess ControlSystems EngineeringSupervisory ControlComputer SciencePetri NetsFault DetectionFormal VerificationInteger Programming