7JENSEN K, KRISTENSEN L M, WELLS L. Coloured Petri nets and CPN tools for modelling and validation of concurrent systems [J]. International Journal of Software Tools Technology Transfer, 2007(9) :213--254.
8HANDLEY H A H, ZAIDI Z R, LEVIS A H. The use of simulation models in model driven experimentation [J]. System Engineer, 1999(2) : 180-- 193.
9Kang J G, Xirouchakis P. Disassembly sequencing for maintenance: a survey [J]. Journal of Engineering Manufacture: Part B, 2006, 220(10): 1697-1716.
10Zussman E, Zhou M. A methodology for modeling and adaptive planning of disassembly processes [J]. IEEE Transactions on Robotics and Automation, 1999, 15 (1): 190-194.