Yi-Feng Wang, Hung-Hsiang Chou, Chuei-Tin Chang: Generation of batch operating procedures for multiple material-transfer tasks with Petri nets. Comput. Chem. Eng. 29(8): 1822-1836 (2005)