Time arc hybrid petri net based scheduling of mixed batch/continuous plants