offshore wind turbines. Analytical methods such as reliability block diagrams and Markov
processes along with simulation approaches have been widely used in planning and
optimizing operations and maintenance actions in industrial systems. Generalized stochastic
Petri nets (GSPNs) with predicates coupled with Monte Carlo simulation (MCS) are applied
in this paper to model the planning of operations and maintenance activities of an offshore …