Scheduling of multi-product batch plants based upon timed automata models

Sebastian Panek, Sebastian Engell, Subanatarajan Subbiah, Olaf Stursberg. Scheduling of multi-product batch plants based upon timed automata models. Computers & Chemical Engineering, 32(1-2):275-291, 2008. [doi]

Abstract

Abstract is missing.