Diagnosis and Diagnosability Analysis Using PEPA