An effective approach for fault diagnosis of Discrete-Event Systems modeled as safe labeled Petri nets
Ana Caroline Tondo Bonafin, Felipe G. Cabral, Marcos V. Moreira
Topics & Concepts
Petri netUnobservableReachabilityObservableFault (geology)Computer scienceFault detection and isolationEvent (particle physics)ObservabilityReal-time computingStochastic Petri netAlgorithmDistributed computingMathematicsArtificial intelligenceGeologyPhysicsActuatorApplied mathematicsEconometricsQuantum mechanicsSeismologyPetri Nets in System ModelingFormal Methods in VerificationBusiness Process Modeling and Analysis