Timed Petri and ZBDD Based Approach for Assembly Sequence Planning

Chao Wang
2012-01-01
Computer Science
Abstract:Timed Petri net is one of efficient modeling formalisms for assembly sequence optimization problems,but the state combination complexity renders it hard and even impossible for large scale assembly sequence optimization problems to be solved.Zero-suppressed binary decision diagram(ZBDD) is an efficient symbolic technique to represent and manipulate the combination sets and 0-1 sparse vectors.An algorithm for selecting the best assembly sequence was givenout based on timed Petri net and ZBDD.Firstly,the timed Petri net model of assembly was transformed into equivalent ordinary Petri net using a transformation algorithm.And then an approach of representing the reachable states set and transation firing function of Petri net by ZBDD was given out.Henceforth,a symbolic ZBDD based algorithom for selecting the best assembly sequence was developed.The experimental tests give the proof that the ZBDD based algorithm alleviates the computing complexity by using implicitly symbolic manipulation to search reachable states of Petri net.
What problem does this paper attempt to address?