A coloredtimed Petri net(CTPN)modeling technique is developed for flexible assembly system(FAS)In particular,one section is dev oted to the deadlock nodel based on the Petri netThe rule of the deadlock erro r recovery is givenThrough the analysis of the behavioral properties of the FA S with the deadlock recovery model,the deadlock problem would be solved in th e system