Petri net construction and analysis of automated sequential manufacturing systems. - WernKueir Jehng; ShihSen Peng; MengChu Zhou (SMC, 2001)