Diagnosability of fault patterns with labeled stochastic Petri nets
Dimitri Lefebvre, Christoforos N. Hadjicostis
Topics & Concepts
Stochastic Petri netPetri netProbabilistic logicFault (geology)Computer scienceEvent (particle physics)Property (philosophy)Set (abstract data type)Logical conjunctionNet (polyhedron)Theoretical computer scienceAlgorithmMathematicsArtificial intelligenceProgramming languageQuantum mechanicsEpistemologyGeometryPhilosophySeismologyPhysicsGeologyPetri Nets in System ModelingFormal Methods in VerificationBusiness Process Modeling and Analysis