Fault diagnosis in labelled Petri nets: A Fourier–Motzkin based approach
Ahmed Al-Ajeli, David Parker
Topics & Concepts
UnobservablePetri netFault (geology)Event (particle physics)AlgorithmBounded functionComputer scienceSequence (biology)MathematicsQuantum mechanicsMathematical analysisPhysicsGeologySeismologyEconometricsGeneticsBiologyPetri Nets in System ModelingFormal Methods in VerificationBusiness Process Modeling and Analysis