Petri net synthesis and analysis of a flexible manufacturing system cell. - MengChu Zhou; Kevin McDermott; Paresh A. Patel (IEEE Trans. Syst. Man Cybern., 1993)