Batch Scheduling of Multi-Product Pipeline Networks