简介:Deadlockmustbeavoidedinamanufacturingsystem.Inthispaper,anefficientalgorithmforfindinganoptimaldeadlock-freeschedulesinamanufacturingsystemwithverylimitedbufferispresented.Thisalgorithmisbasedonheeffectivegeneticalgorithm(GA)searchmethod,andaformalPetrinetstructureisintroducedtodetectthetokenplayerassuringdeadlock-free.InordertomaketheschedulingstrategygeneratedbyGAmeettherequiredconstraintofdeadlock-free,someresultsofthestruetureanalysisofPetrinetareinvolvedasacriteriontoselectdeadlock-freeschedulefromthepopulationgeneratedbyGA.Theeffectivenessandefficiencyoftheproposedapproachisillustratedbyusinganexample.