Modeling and optimization of the butadiene extractive distillation process door