Tao Hong, Mo-Yuen Chow: Resource Allocation for a Life Science Automation Line: a Petri nets Approach. CASE 2007: 887-892