Timed Petri-net representation for short term scheduling of multiproduct batch plants | IEEE Conference Publication | IEEE Xplore