A comparative study of optimization models for the gas detector layout in offshore platform