Y. Jia, W. Xiao, X. Ruan, G. He, X. Jia, Petri Net Methodology for Optimisation of Heat Integration and Batch Process Scheduling, Chemical Engineering Transactions. 45 (2015) 547-552. doi:10.3303/CET1545092.