Abstract
Disassembly levelling is to determine disassembly structures that specify components to be obtained from end-of-use/life products, and disassembly lot-sizing is to determine the timing and quantity of disassembling end-of-use/life products to satisfy the demands of their components. As an extension of the previous studies that consider them separately, this study integrates the two problems, especially in the form of multi-period model. Particularly, this study considers a generalized integrated problem in which disassembly levels may be different for the products of the same type. To describe the problem mathematically, we develop an integer programming model that minimizes the sum of setup, operation and inventory holding costs. Then, due to the problem complexity, a heuristic algorithm is proposed that consists of two phases: (a) constructing an initial solution using a priority-based greedy heuristic and (b) improving it by removing unnecessary disassembly operations after characterizing the properties of the problem. To show the performance of the heuristic algorithm, computational experiments were performed on various test instances and the results are reported.
Introduction
Excessive consumptions of natural resources and other environmental deteriorations reveal that something is wrong with the earth, which gave rise to a new philosophical concept for our society and environment, called the sustainability. In general, sustainability can be described as the capacity for continuation into the future. Despite its vagueness and ambiguity, the concept of sustainability became a fundamental background in developing an integrated view on the earth’s future. In summary, we have to provide sustainable economy and environment for the next generation. See Mebratu 1 and Robèrt et al. 2 for more details on the concept of sustainability.
Treating end-of-use/life products is one of the major issues for sustainable society and environment, mainly due to (a) rapid development of products, (b) shortened product lives, (c) shortages of dumping and incineration sites and (d) legislation pressures to protect the environment – in particular, the legislation pressures imposed on manufacturing/service firms to collect, reuse, remanufacture, recycle and even dispose of end-of-use/life products in an environmentally conscious way; for example, see eco-design requirements for energy using products (EuP), waste electrical and electronic equipment (WEEE), restriction on the use of certain hazardous substance (RoHS) in electric and electronic equipment, and directives for end-of-life vehicles (ELV). Moreover, consumers recognize the opportunities for purchasing environmental conscious products.
Reverse logistics, which is an opposite direction of the conventional forward logistics, is a process-based framework for dealing with end-of-use/life products. In general, reverse logistics is defined as the logistics activities all the way from end-of-use/life products no longer required by users to products again usable in a market or disposable in the environmentally conscious way.3–8 Reverse logistics, whose main activities include collection, disassembly, sorting/test, recovery (repair, reuse, recycling and remanufacturing), disposal, etc., aims at planning and executing the activities associated with end-of-use/life products effectively and efficiently. Figure 1 shows the bi-directional logistics that consists of forward and reverse logistics. 6

Forward and reverse logistics.
This study focuses on disassembly, one of the indispensable activities for recovering and disposing of products in reverse logistics. In general, disassembly is defined as the systematic separation of an assembly into its components or other groupings. In other words, it separates a product into its parts and/or subassemblies for the purposes of recovering materials, isolating hazardous substances, separating reusable parts/subassemblies and so on. Note that disassembly is one of the important domains in reverse logistics since end-of-use/life products cannot be recovered or even disposed of without disassembling them. The decision problems on disassembly systems include design for disassembly, disassembly line balancing, disassembly process planning, disassembly lot-sizing and so on. For more details on the disassembly problems, see Jovane et al., 9 Gungor and Gupta 10 and Lee et al. 11
Among the disassembly problems mentioned earlier, we focus on disassembly levelling and lot-sizing. For a given end-of-use/life product, disassembly levelling is the problem of determining its disassembly structure that specifies components to be obtained. Note that disassembly levelling is one of the disassembly process planning activities that prepare detailed disassembly operation instructions. Also, disassembly lot-sizing, alternatively called disassembly scheduling in the literature, specifies the quantity and timing of disassembling the product in order to satisfy the demands of their components.
As in other process and production planning problems, disassembly levelling and lot-sizing have a strong relationship in that the disassemble level of a product is one of the basic input data required for disassembly lot-sizing that satisfies the demands of components specified by the corresponding disassemble structure. If the two problems are considered separately, the final solution may be local optimum or even infeasible. See Lee et al. 11 and Kim et al. 12 for the importance of integrating disassembly process planning and lot-sizing. In addition, the existing separated approaches have a fundamental weakness that disassembly levels must be fixed for each product type. Instead, this study considers a generalized case that allows different disassembly levels even for products of the same type, and hence more efficient solutions can be obtained that optimize a given performance measure associated with disassembly processes.
To the best of the authors’ knowledge, the only previous one that considers disassembly levelling and lot-sizing at the same time is Kang et al. 13 who suggest a single-period model. See the next section for the literature review. As an extension of the existing single-period model, this study considers a multi-period one for the purpose of considering dynamic component demands over a planning horizon, especially multiple product types with parts commonality, that is, different product types may share their components. Although the parts commonality can reduce disassembly costs by avoiding unnecessary disassembly operations, it makes the problem much more complicated. 12
To represent the multi-period disassembly levelling and lot-sizing problem mathematically, an integer programming model is suggested for the objective of minimizing the sum of setup, operation and inventory holding costs. Then, due to the problem complexity, we suggest a two-phase heuristic that consists of constructing an initial solution and improvement. The initial solution is obtained using a priority-based greedy heuristic, and then it is improved by eliminating the unnecessary disassembly operations after characterizing the problem properties. To test the heuristic algorithm, computational experiments were done on various instances, and the results are reported.
The article is organized as follows. In the next section, we review the previous studies on disassembly process planning and lot-sizing. The third section describes the problem in more detail with an integer programming model. The two-phase heuristic and its test results are presented in the fourth and fifth sections, respectively. Finally, the last section concludes the article with a summary and discussion of future research areas.
Literature review
This section reviews the previous studies on disassembly process planning and lot-sizing. The review consists of three parts: (a) disassembly process planning, (b) disassembly lot-sizing and (c) integrated disassembly process planning and lot-sizing.
Disassembly process planning
There are a number of previous studies on disassembly process planning, which can be classified according to the three main decision variables: (a) disassembly level – whether additional disassembly operations are performed or not at each stage of disassembling a product; (b) disassembly sequence – sequence of disassembly operations; and (c) end-of-life options – how each part or subassembly is to be treated, for example, reuse, remanufacturing, recycling, disposal and so on. See O’Shea et al., 14 Lee et al., 11 Santoch et al. 15 and Lambert 16 for literature reviews on disassembly process planning.
Most of the earlier studies consider only one decision variable, for example, Penev and De Ron 17 and Igarashi et al. 18 for disassembly levelling; Lambert, 19 Hui et al., 20 Adenso-Diaz et al. 21 and Jin et al. 22 for disassembly sequencing; and Bufardi et al. 23 and Jun et al. 24 for determining end-of-life options. As an extension, several articles consider two decision variables at the same time; for example, see Pnueli and Zussman, 25 Johnson and Wang,26,27 Lambert,28,29 Kang et al.30,31 and Vinodh et al.32,33 for determining disassembly level and sequence at the same time. Finally, some other articles consider all the three decision variables, for example, see Erdos et al., 34 Teunter, 35 Behdad et al. 36 and Ma et al. 37
Disassembly lot-sizing
As a mid- or short-term planning activity, various researches have been done on disassembly lot-sizing. According to the review of Kim et al., 12 the previous studies can be classified according to the number of product types (single and multiple product types) and the product structure (assembly structure without parts commonality and general structure with parts commonality). See Lee et al. 38 for the mathematical model for each of the problem classes.
Most of the earlier studies consider the basic problem, that is, a single assembly structured product without parts commonality. Gupta and Taleb 39 suggest a material requirement planning (MRP) like algorithm without an explicit objective function. Lee and Xirouchakis 40 suggest a heuristic algorithm for the problem with a cost-based objective and later, Kim et al. 41 suggest an optimal algorithm after proving that the cost-based problem is non-deterministic polynomial (NP)-hard. For the capacitated version of the basic problem, see Lee et al., 42 Jeon et al. 43 and Kim et al. 44 As an extension of the basic problem, other articles consider the problem with parts commonality. For example, see Taleb et al. 45 for a single product type and Taleb and Gupta, 46 Lambert and Gupta, 47 Kim et al.48,49 and Langella 50 for multiple product types.
Disassembly process planning and lot-sizing
To deal with the fact that disassembly process planning and lot-sizing are highly interdependent, several articles tried to integrate the two problems by considering different decision variables of each problem.
Most research articles consider the disassembly lot-sizing problem with an additional decision on end-of-life options such as reuse, remanufacturing, recycling and disposal. Veerakamolmal and Gupta 51 consider the problem of determining the number and types of products to disassemble and dispose of in order to satisfy the demands of required parts, and suggest an algorithm that maximizes the profit, and later, Kongar and Gupta 52 extend the earlier one by suggesting a fuzzy goal programming model for the multi-criteria problem that determines the number of products to be collected and the number of parts to be reused, recycled, stored, and disposed of in stochastic disassemble-to-order systems. Xanthopoulos and Iakovou 53 suggest a simulation-based solution approach for the problem of selecting subassemblies to disassemble and determining the number of products to be collected, disassembled, recycled, remanufactured and disposed of. Finally, as explained earlier, Kang et al., 13 the only previous study on disassembly levelling and lot-sizing at the same time, suggest an optimal polynomial algorithm for the basic single-period disassembly levelling and lot-sizing problem and a heuristic algorithm for an extension with parts commonality after proving its NP-hardness.
Problem description
Before describing the problem, the disassembly structure for multiple product types with parts commonality is explained with the disassembly bill of material (d-BOM). In the d-BOM structure, the root items represent the products to be disassembled and the leaf items are components that cannot be disassembled further. A parent item is an item that has at least one child item and a child item is an item that has at least one parent. The parts commonality, that is, product or subassembly shares its components, is represented in that a component has two or more parent items. Figure 2 shows an example of the d-BOM structure with two product types. In this example, 1 and 2 are root items and 7, 8, 9 and 10 are leaf items. Also, item 8 (9), represented as a bolded box, is a common item since it has two parents 3 (4) and 4 (5). The number in parentheses represents the number of the item that can be obtained from disassembling its parent, that is, yield.

d-BOM structure for multiple product types with parts commonality: example.
Now, the multi-period disassembly levelling and lot-sizing problem considered in this study can be defined as the problem of determining the disassembly structures and lot-sizes that satisfy the demands of components in each period of a given planning horizon. The objective is to minimize the sum of setup, operation and inventory holding costs. In fact, the problem considered in this study is a multi-period extension of the single-period model of Kang et al., 13 and hence inventory carryovers can be explicitly considered.
As explained earlier, the disassembly level represents the disassembly structure of each product and hence specifies components from disassembling the product. Unlike the ordinary disassembly levelling problem, this study considers a generalized one in which disassembly structures may be different even for the products of the same type. Also, disassembly lot-sizes imply the timing and quantity of disassembling products to satisfy the demands of their components. The objective function consists of setup, operation and inventory holding costs. When disassembling a parent item, the disassembly setup cost occurs due to the changes in equipment or tool. It is assumed that a setup occurs when at least one disassembly operation for that item is performed. Note that setups are especially important in disassembly systems since most disassembly operations are done manually.30,31 Also, the disassembly operation cost, which is different from the fixed setup cost, is proportional to the labour or machine processing time required for the corresponding disassembly operation. Finally, unlike the single-period model, the multi-period one considers the inventory holding costs when products/components are carried over from a period to other later periods over the planning horizon.
In this study, we consider the deterministic version of the problem, that is, all problem data are deterministic and given in advance. Also, the d-BOM structure of each product type is given in advance from the corresponding BOM structure that specifies all components and their hierarchical relationships. Other assumptions made for the problem are as follows: (a) shortages of root items are not considered, that is, end-of-use/life products can be obtained whenever they are ordered; (b) without loss of generality, there are no initial inventories; and (c) no defectives are considered, that is, components are perfect in quality.
To describe the problem more clearly, an integer programming model is suggested in this study. Note that the items in the d-BOM structure explained above are numbered by 1, 2, …, ir, ir + 1, …, il − 1, il, …, I, where ir and il denote the last root item and the first leaf item, respectively. Therefore, the indices less than (greater than) or equal to ir (il) represent root items (leaf items). The other notations are given below.
Parameters
dit demand of item i in period t (units) Rit amount of collected end-of-use/life product i in period t (units) Φ(i) set of parents of item i aji yield of item i obtained from disassembling one unit of its parent j (units) si disassembly setup cost of item i ($) ci disassembly operation cost of item i ($/unit) hi inventory holding cost of item i ($/unit·period) M large number
Decision variables
Zit=1 if there is a setup for item i in period t, and 0 otherwise Xit amount of disassembling item i in period t Iit inventory level of item i at the end of period t
Now, the integer programming model is given below
subject to
The objective function denotes the total cost, that is, the sum of setup, operation and inventory holding costs over the planning horizon. Constraints (1), (2) and (3) represent the inventory balance of each item. More specifically, constraint (1) denotes the inventory balance for root items. In other words, at the end of each period, the inventory level of each root item is what we had the period before, increased by the amount of the root item collected in that period and decreased by the quantity of the root item disassembled in that period. Similarly, constraints (2) and (3) represent the inventory balances of subassemblies (intermediate items) and parts (leaf items). Constraint (4) ensures that a setup cost be incurred in a period when there is at least one disassembly operation in that period. Finally, constraints (5) and (6) represent the integer conditions of decision variables.
As explained earlier, the model [P] is a multi-period extension of the single-period model of Kang et al. 13 Since Kang et al. 13 prove that the single-period model with parts commonality is NP-hard, we can easily see that the model [P] is also NP-hard. Note that the parts commonality increases the problem complexity significantly since it gives alternative procurement sources for each common item and hence creates additional interdependencies among items. 12
Two-phase heuristic algorithm
As explained earlier, the solution algorithm consists of two phases: (a) obtaining an initial solution and (b) improvement. Before explaining the detailed procedure, an overview of the two-phase heuristic is shown in Figure 3.

Two-phase heuristic: overview.
Phase 1: obtaining an initial solution
The initial solution is obtained by the priority-based greedy heuristic that determines the amounts of disassembling parent items that satisfy the demands of their child items from the first to the last period. Note that the remaining ones after satisfying the demands of an item in a period can be carried over to the next period.
As can be seen in Figure 3, the demand of each item is satisfied sequentially from the largest to the smallest indexed item. Here, two cases, common and non-common items, are considered.
Case 1 (common items)
If the current item i is common, a parent item is selected among those associated with the current common item using a priority rule, that is, the maximum ratio of the yield divided by the sum of setup, operation and inventory holding costs. More formally, selected is the parent item j* such that
where Φ(i) and aji denote the set of parents of item i and the yield of item i obtained from disassembling one unit of parent item j, respectively. After selecting a parent item j*, its disassembly quantity is calculated as the actual demand of the current common item i divided by the yield, that is
where ⌈•⌉ is the smallest integer that is greater than or equal to •. Also, the actual demand (ADit) of item i in period t can be calculated as follows
That is, the sum of the demand and the disassembly quantity subtracted by the sum of the amount of the common items obtained from disassembling the other parents, the scheduled receipts of the item (if any) and its inventory carried over from the directly preceding period.
Case 2 (non-common items)
If the current item i is not common, we can specify its unique parent item j* from which the item i can be obtained. Then, its disassembly quantity can be calculated as in the non-common item case.
Now, the detailed procedure to obtain the initial solution is summarized below.
If the current item i is common, select a parent item j* such that
among those associated with the current common item. Otherwise, set the parent item to be its parent item, let it be j*. Determine the disassembly quantity of the selected parent j* as Xj*t = ⌈ADit/aj*i⌉, where
Case 1: If item i is the root, Case 2: Else if item i is a parent (not the root)
Case 3: Otherwise (item i is a leaf)
Phase 2: improvement
After obtaining an initial solution, it is improved in the second phase. The basic idea is to remove unnecessary disassembly operations while satisfying the component demands.
The unnecessary disassembly operations are specified for each module with multiple parent items and one common child item. More specifically, for a common item i, a parent item is selected among those associated with the common item using a priority rule explained earlier, that is, parent item j* is selected such that
Then, the amount of disassembling the parent item j* is decreased or increased to the minimum one that satisfies the demand requirements of its child items.
Now, the details of the improvement procedure are summarized below.
Then, if there is a surplus inventory of item i in period t, that is Iit ≥ dit, set Xj*t = Xj*t − q, where q denotes the maximum amount of decrease in disassembling parent item j* while satisfying the demands of its child items. Otherwise, set Xj*t = Xj*t+q′, where q′ denotes the minimum amount of increase in disassembling parent item j* while satisfying the demands of its child items. Then, update the inventory levels of the child items at the end of period t.
Numerical example
This section illustrates the two-phase heuristic using a simple three-period example for two product types. The d-BOM structure and the relevant data are shown in Figure 4 and Table 1, respectively. As can be seen in the figure, items 1 and 2 are root items, and items 3 and 4 are leaf items. Of the two leaf items, item 4 is a common item since it has two parents, that is, items 1 and 2. Without loss of generality, it is assumed that the amounts of returns for the two product types are large enough to satisfy the demands.

d-BOM structure of the numerical example.
Data for the numerical example:.
First, the initial solution can be obtained as follows.
Since item 4 is common, item P2 is selected as its parent since
Disassembly quantity of the selected parent item P2 becomes 1, that is, X21 = ⌈3/10⌉ = 1. (Note that the actual demand of item 4 is 3.)
Since item 3 is not common, item P1 is selected as its parent. Disassembly quantity of the parent item P1 becomes 2, that is, X11 = ⌈13/10⌉ = 2.
I11 = I10+R11+X11 = 0+5 − 2 = 3
I21 = I20+R21+X21 = 0+5 − 1 = 4
I31 = I30+a13 · X11 − d31 = 0+20 − 13 = 7
I41 = I40+(a14 · X11+a24 · X12) − d41 = 0+(8+10) − 3 = 15
Since item 4 is common, item P2 is selected as its parent since
Disassembly quantity of the selected parent item P2 becomes 0, that is, X22 = ⌈0/10⌉ = 0. (Note that the actual demand of item 4 is 0.)
Since item 3 is not common, item P1 is selected as its parent. Disassembly quantity of the parent item P1 becomes 0, that is, X12 = ⌈0/10⌉ = 0.
I12 = I11+R12 − X12 = 3+5 − 0 = 8
I22 = I22+R22 − X22 = 4+5 − 0 = 9
I32 = I31+a13 · X12 − d32 = 7+0 − 4 = 3
I42 = I41+(a14 · X12 + a24 · X22) − d42 = 15+(0+0) − 10 = 5
Since item 4 is common, item P2 is selected as its parent since
Disassembly quantity of the selected parent item P2 becomes 1, that is, X23 = ⌈4/10⌉ = 1. (Note that the actual demand of item 4 is 4.)
Since item 3 is not common, item P1 is selected as its parent. Disassembly quantity of the parent item P1 becomes 1, that is, X13 = ⌈4/10⌉ = 1.
I13 = I12+R13 − X13 = 8+5 − 1 = 12
I23 = I22+R23 − X23 = 9+5 − 1 = 13
I33 = I32+a13 · X13 − d33 = 3+10 − 7 = 6
I43 = I42+(a14 · X13+a24 · X23) − d43 = 5+(4+10) − 9 = 10
Then, the initial solution is improved as follows.
Then, the amount of decrease in disassembling parent item P2 without violating the demand requirement of item 4 becomes 1, that is, q = 1, and hence, set X21 = 1 − 1 = 0. Then, update the inventory levels of the child items at the end of period t as follows
I11 = 3, I21 = 5, I31 = 7 and I41 = 5
Then, the amount of increase in disassembling parent item P2 without violating the demand requirement of item 4 becomes 1, that is, q′ = 1, and hence, set X22 = 0+1 = 1. Then, update the inventory levels of the child items at the end of period t as follows
I12 = 8, I22 = 8, I32 = 3 and I42 = 5
Then, the amount of decrease in disassembling parent item P2 without violating the demand requirement of item 4 becomes 1, that is, q = 1, and hence, set X23 = 1 − 1 = 0. Then, update the inventory levels of the child items at the end of period t as follows
I13 = 12, I23 = 14, I33 = 6 and I43 = 0
Computational results
To test the performance of the two-phase heuristic, computational experiments were performed on randomly generated test instances and the test results are reported in this section. The heuristic was coded in C and the tests were done on a personal computer with an Intel Core2 Quad 3.00 GHz clock speed.
Two performance measures were used in this test: (a) percentage deviations (without and with improvement method) from the optimal solution values or lower bounds and (b) computation time. Here, optimal solutions or lower bounds were obtained from solving the integer programming model [P] directly using CPLEX 11.0, a commercial integer programming software package. More formally, the percentage deviation for an instance is calculated as follows
where Ch is the solution value obtained from the heuristic and Cb is the optimal solution value or lower bound. Note that the lower bound was used instead of optimal solution values when CPLEX could not solve the instances in 3600 s.
For the test, we used the 810 randomly generated test instances of Kim and Lee, 54 our earlier conference paper. The test instances are 10 instances for each of the three levels of the product types (3, 4 and 5), three levels of the number of items (30, 40 and 50), three levels of the planning horizon (3, 5 and 7) and three levels of the percentage of common items (1%, 2% and 5%). For the earlier test, the detailed data were generated as follows. For each level of the number of items, we generated 10 d-BOM structures in which the number of child items for each parent was generated from DU(1, 10). Here, DU(a, b) implies the discrete uniform distribution with [a, b]. Also, the common items were randomly connected to its parents. The demands (dit) of items in each period were generated from DU(0, 100) and the yields (aij) from parent items were generated from DU (1, 10). Finally, setup, operation and inventory holding costs were generated form DU(10, 30), DU(1, 5) and DU (1, 20), respectively.
Test results are summarized in Table 2 that show the average percentage deviations for each level of the number of product types. It can be seen from the table that initial phase gives reasonable quality solutions although it is simple. In fact, the overall average percentage deviations were 2.47%, 2.71% and 3.36% when the percentages of common items are 1%, 2% and 5%, respectively. Also, the overall average percentage deviations after applying the improvement phase were 1.48%, 1.56% and 1.69%, respectively. This shows the effectiveness of the improvement phase. As can be seen in the tables, the performance of the two-phase heuristic gets worse as the percentage of common items increases. Figure 5 shows the overall test results graphically. Finally, the heuristic gave solutions for all the test instances within 0.1 s, and hence it can be applied to practical situations in which the computation time is very critical.
Performance of the two-phase heuristic:.
Initial solution.
Improved solution.
Average percentage deviation from optimal solution values or lower bounds out of 10 instances (minimum and maximum in parentheses).

Test results: graphical representation.
Concluding remarks
This study defined a multi-period disassembly levelling and lot-sizing problem for multiple product types with parts commonality. Disassembly levelling is the problem of determining disassembly structures that specify components to be obtained from disassembling end-of-use/life products, and disassembly lot-sizing is the problem of determining the timing and quantity of disassembling products to satisfy the demands of their components. As an extension of the previous study on integrating disassembly levelling and lot-sizing, a multi-period model was suggested to consider the inventory carryovers among different periods of the planning horizon. In particular, we considered the generalized problem in which disassembly levels may be different for products of the same type. To represent the integrated problem, an integer programming model was developed for the objective of minimizing the sum of setup, operation and inventory holding costs. Then, a two-phase heuristic that consists of obtaining an initial solution and improvement was suggested. Finally, computational experiments were done a number of test instances, and the results showed that the two-phase heuristic gives good quality solutions.
As an initial study on multi-period disassembly levelling and lot-sizing, this study can be extended in several directions. First, more sophisticated algorithms, especially improving the initial solution, can be developed after analysing the properties of the problem. Second, other disassembly variables such as disassembly sequence and end-of-life options may be incorporated into the model. For example, in the case of end-of-life options, one can consider the possible ways to deal with surplus inventories. Finally, demand uncertainty is an important further research topic in order to cope with stochastic nature of the second-hand markets.
Footnotes
Acknowledgements
This article is an improved version of the conference paper entitled ‘A heuristic for multi-period disassembly levelling and scheduling’, which was presented at the 2011 IEEE/SICE International Symposium on System Integration, Kyoto, Japan.
Declaration of conflicting interests
The author(s) declared no potential conflicts of interest with respect to the research, authorship and/or publication of this article.
Funding
The author(s) disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: This work was supported by the National Research Foundation of Korea grant funded by Korea government (NRF) (Grant Code: 2011-0015888). This is gratefully acknowledged.
