Modeling with hierarchical Petri net of semiconductor manufacturing system. - Huang Dan; Yan Juanwei; Qiao Fei (ICARCV, 2004)