Efficient Risk Based Optimization of Large System Models using a Reduced Petri Net Methodology