 This paper examines the use of stochastic petri nets, SPNs, in conjunction with Monte Carlo simulation, MCS, to evaluate the production availability of a multi-state, multi-output offshore installation. The paper focuses on four configurations of the system, each with different levels of preventative maintenance and cold standby of components. The results show that the production efficiency and average availability can be improved through the application of preventative maintenance and cold standby. This article was authored by Radim Briss.