Improving centralized offshore power generation design with Petri net-based availability and reliability analysis - Melani, Arthur Henrique de Andrade; Souza, Gilberto Francisco Martha de; Oliveira Júnior, Silvio de; Freire, Ronaldo Lucas Alkmin (ASCE-ASME journal of risk and uncertainty in engineering systems: part B: mechanical engineering, 2024)