Application of Petri nets to performance evaluation of subsea blowout preventer system. (January 2015)