For the process simulation with Aspen Plus NRTL (Non-Random Two Liquids) property method with Henry components was used. These routes include the NRTL equation for the liquids activity coefficients calculation and Henry’s law for vapor–liquid binary interactions. Where appropriate, further property methods were used for specific processes.