RELIABILITYPAPERVerificationoftheIEC61508PFHformulaforoo3configurationusingMarkovchainsandPetrinetsHananeOmeiriandBrahimHamaidiLaboratoryofElectromechanicalEngineeringDepartmentofElectromechanicsUniversityofBadjiMokhtarAnnabaAlgeriaFaresInnalAutomationLa