Publication | Open Access

Fault detection for discrete event systems using Petri nets with unobservable transitions

Petri NetReliability EngineeringEngineeringDiscrete Event SystemDiscrete Event SystemsVerificationStochastic Petri NetFormal MethodsProcess ControlSystems EngineeringSupervisory ControlComputer SciencePetri NetsEvent-driven MonitoringFault DetectionFormal Verification