TY - JOUR AU - Gu, T. AU - Bahri, P. A. AU - Cai, G. TI - Timed Petri-Net Based Formulation and an Algorithm for the Optimal Scheduling of Batch Plants JO - International Journal of Applied Mathematics and Computer Science PY - 2003 SP - 527 EP - 536 VL - 13 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IJAMCS_2003_13_4_a9/ LA - en ID - IJAMCS_2003_13_4_a9 ER -