Y. Jia, W. Xiao, X. Ruan, G. He, and X. Jia, “Petri Net Methodology for Optimisation of Heat Integration and Batch Process Scheduling”, Chemical Engineering Transactions, vol. 45, pp. 547-552, Sep. 2015.