Bong Choi: Petri net approaches for modeling, controlling, and validating flexible manufacturing systems. Iowa State University, Ames, USA 1994