Bris, R. Assessment of the Availability of an Offshore Installation by Stochastic Petri Net Modeling. Communications 2014, 16, 90-96.