Reliability and availability evaluation of subsea high integrity pressure protection system using stochastic Petri net. (June 2022)