A DSM-Based CCPM-MPL Representation Method for Project Scheduling under Rework Scenarios

Rework risks caused by information flow interactions have become a major challenge in project scheduling. To deal with this challenge, we propose a model integrating the critical chain project management method, design structure matrix method, and max-plus method. Our model uses a start-to-start relationship of activities instead of the traditional finish-to-start relationship, which also allows overlaps between activities. We improve the accuracy of the rework safety time in two ways: (1) the overall overlapping effect is taken into consideration when calculating the rework time of an activity arising from the information flow interaction of its multiple predecessors overlapped with it; (2) the rework time arising from activity overlaps, the first rework time, and the second rework time are calculated as components of the rework safety time in our model, while the last one is ignored in traditional methods. Furthermore, the accuracy of time buffers is improved based on the improved rework safety time. Finally, we design the max-plus method to generate project schedules and appropriately sized time buffers. The empirical results show that the project schedule generated by the proposed method has a higher on-time completion probability, as well as more appropriately sized project buffers.


Introduction
Rework is defined as "the unnecessary effort of redoing a process or an activity implemented incorrectly the first time." [1] Regarded as inevitable and epidemic in projects [2], rework has become a major impediment that adversely affects project performance. Many studies have shown the impact of rework risks on cost overrun and project delay. Love investigated 161 construction projects in Australia and concluded that rework was the main cause of overrun cost, which can reach 52% increased cost on average [3]. Similarly, a study by Barber et al. reported that rework costs can be as high as 23% of contract values [4]. Hwang et al. surveyed 381 projects in Singapore and found that more than 80% of corporations and 59% of projects have experienced client-related rework, resulting in a cost increase of 7.1% and a schedule delay of 3.3 weeks on average [5].
Considerable research studies have explored the causes of rework as it significantly impacts project performance.
Love argued that design and construction errors, as well as omissions and changes, are the main reasons of rework [3]. Ye et al. proposed several other reasons for rework involving contract management and management scope, etc. [6]. However, the most widely held view is that information flow interactions between activities should be responsible for rework [7,8]. To reveal and model rework relationships among activities and other factors, several approaches have been developed such as cognitive mapping (CM) [9,10] and system dynamics (SD) [11,12].
Despite the awareness of the causes of rework risks, tools to manage rework and mitigate its adverse impact are still insufficient. Traditional project scheduling tools, such as the critical path method (CPM), project evaluation and review technique (PERT), and the Gantt chart (GC), have been widely used in project management for decades but are not applicable under rework scenarios, as they cannot deal with rework appropriately [13,14]. For example, in the CPM network, the forward pass assumes that the maximum value is propagated to as its successor start, and the backward pass assumes that it finishes as late as possible [15]. In this way, the so-called time difference can be treated as float to deal with rework or delays. Yet, such approach can only deal with part of delays. Due to these limitations, rework has not been managed or controlled effectively in practice, which commonly results in low efficiency of traditional project schedule management tools. is brings challenges for both practice and theory, thus appealing for novel methods to deal with such issue and predict the project schedule with consideration of rework scenarios. erefore, the need exists for a new project scheduling approach to model rework relationships and establish reliable schedules under rework scenarios for effective project schedule prediction and control. e design structure matrix (DSM), first proposed by Steward, proved to be a powerful tool in modeling rework relationships [16]. A DSM-based discrete-event Monte Carlo simulation approach was then presented by Browning and Eppinger [17] and expanded in later studies [18][19][20] to predict project duration. However, this approach is highly computationally demanding and time-consuming, also inapplicable for large projects. It is also unreasonable that an activity could not begin until all its precedent activities have been completed in the simulation process, which greatly limits its application. e critical chain project management (CCPM) method, first proposed by Rand and Goldratt [21], which applies the theory of constraints to project management, is another emerging and potential tool to manage information uncertainty by setting resource and time buffers in project schedules. Based on prior studies, Zhang et al. first combined CCPM with DSM to model rework relationships between activities and to address rework risks by setting time buffers that consider rework safety times [8]. However, this method calculates the rework safety time between an activity and its each predecessor, respectively. e overall effect of overlaps between an activity and its multiple predecessors on rework safety times as well as a learning curve is not considered, which yields the total rework safety time of an activity longer than required in practice. In addition, the second rework times are overlooked when calculating rework safety times. e activities in the generated project schedule meet FTS � 0 relationship, which cannot effectively reflect the activity overlaps. Ma et al. developed a critical chain design structure matrix method to calculate the rework time [22]. However, all the rework times between an activity and its predecessors are added, which created a big project buffer. erefore, further meaningful research is needed to integrate and refine current CCPM methods to better address rework risks. To sum, this study aims to predict a more accurate project schedule with consideration of rework scenarios and provide informative insights for practice.
In this study, we develop a quantitative model integrating a DSM into the CCPM-max-plus linear (CCPM-MPL) framework by considering various rework factors. e model considers the second rework time and the overall overlapping effect between a critical activity and its multiple predecessors when calculating rework safety time. e formulas in the max-plus method to calculate time buffers using the root square error method (RSEM) are built and adjusted to generate project schedules with a start-to-start (STS) relationship. Project schedules generated with the proposed method absorb rework risks and other uncertainties, thereby enabling project practitioners to predict project duration more accurately. e remainder of this paper is organized as follows. Section 2 reviews the relevant literature. Section 3 explains the proposed method in detail, including the project scheduling process with the max-plus method, the calculation model of rework safety times, and a refined buffer determination method. Section 4 evaluates the proposed method using an empirical analysis.Section 5 concludes this paper.

Buffer Determination in the CCPM.
Ever since the CCPM method was first proposed, it has not only been increasingly applied in project scheduling but also been continually extended and refined [23]. ere are three main types of buffers-the resource buffer (RB), the feeding buffer (FB), and the project buffer (PB)-which are distinguished by their respective locations and functions. RBs, which function as warnings and consume no time, are placed before critical activities to protect the chain from the risk of critical resource tightness [24]. FBs are placed at the convergence of the critical chain and noncritical chains to protect the chain from activity variants on noncritical chains [25]. PBs are placed at the end of schedules to protect against exceeding project durations [26]. e determination of buffer sizes depends on various factors, such as risk preferences of the project team, project complexity, personnel, and equipment capacities [27]. e cut-and-paste (CAP) method and RSEM are widely used among a number of buffer-sizing methods. e CAP method retains half of activity duration as safety time, estimates half of the sum of safety times on the critical chain to be the PB, and that of the noncritical chain to be the FB in order to guarantee project duration. However, as this procedure is linear, the buffer size increases linearly, which may cause an unnecessarily large amount of protection [28]. In order to improve the effectiveness of the CAP method, Shi and Gong proposed the RSEM, which is based on the large number law and the central limit theorem [29]. e RSEM calculates the square root of the total squares of the difference between the safety estimate time and the average estimate time for each activity on the critical chain as the PB and that on the noncritical chain as the FB. Zhang et al. argued that the RSEM outperformed the CAP method for large projects because the former was less affected by critical chain length [8]. Furthermore, considering that various project characteristics and attributes could influence buffer sizes, several modified buffer-sizing methods have been proposed. Tukel et al. [30] proposed the adaptive procedure with resource tightness (APRT) and the adaptive procedure with density (APD) methods to determine time buffers-both of which take resource tightness and network complexity into consideration. Shi et al. further calculated resource tightness using a fuzzy method and determined time buffers taking into account network complexity and risk project managers' preference [31]. In addition, other researchers have also developed different kinds of buffer-sizing methods that consider other project attributes, including degree of project uncertainty [32], project network characteristics [33], and project teams' risk preferences [25]. In recent years, there has been some research focused on objective and quantitative float/buffer allocation to critical activities. With inspiration from voting theory, Su et al. created and validated a functioning method for float allocation that fairly mitigates risk [15]. e same authors further employed voting methods to apportion contract float to correlated activities in network schedules to projects from delays [34]. Table 1 lists the aforementioned buffer calculation methods.
Although great advances have been made on buffersizing methods, they all assume that project activities are independent and neglect the codependency of activities, as well as the effect of rework risks arising from information flow interactions on project duration. ese factors resulted in smaller estimated project durations than necessary [8]. As previously mentioned, Zhang et al. proposed a refined DSMbased CCPM method, which took the codependency of activities and rework risks into account when determining buffer sizes [8], but this method still has several limitations on modeling rework and determining rework safety times, which deserves further research.

DSM as a Process Management
Technique. DSM as a modeling tool for process architecture has been widely accepted and adopted in different application areas, such as project scheduling and product design [22,38]. Process DSM uses matrix formation to visualize and analyze activities and logic relationships or dependencies between activities that include sequential, parallel, and coupled activities. In process DSM, an off-diagonal element A ij represents information flow from activity j to activity i or dependency between the two activities. For a binary DSM, if the dependency between activity i and activity j exists, A ij is often filled with symbol "×" or "·"; otherwise, it will be null [39]. However, binary DSMs cannot effectively express the strength of information flows or dependencies between activities and are therefore limited to a qualitative analysis of process architecture. In order to overcome the deficiency, a numerical DSM, in which the bigger value of elements means a higher degree of dependency between activities, was developed to express dependencies between activities more accurately in order to quantitatively analyze process architecture [40]. Diagonal elements A ii are used to represent a certain activity characteristic, such as duration of activity i, or are simply empty in most cases. e matrix-based expression of DSMs is applicable for rework analysis, as it can clearly display rework-related, information flow interactivity [38]. Regarding DSMs, much related research has been performed to address rework risks. Browning and Eppinger first proposed a DSM-based discrete-event Monte Carlo simulation model to estimate project duration and cost [17]. ey argued that processes with appropriate overlapping and rework, instead of processes with the fewest feedback marks in the DSM, may lead to less project durations and reduced costs [38]. is framework was adopted by a number of subsequent studies and extended by considering additional constraints in process scheduling. For instance, Cho and Eppinger proposed a heuristic to schedule stochastic and resource-constrained projects under rework scenarios [18]. Yassine et al. proposed two kinds of genetic algorithm-based approaches to find near-optimal project durations for resource-constrained, multiple-project scheduling problems [39]. Overall, prior studies have explored the possibility and efficiency of using a DSM in project scheduling to predict and control rework and have reported significant progress. However, the DSM-based expression is hard to transfer to a traditional network diagram, which is commonly used in practice by project managers [41]. To apply a DSM effectively in project planning and scheduling, this paper developed an accurate DSM-based calculation model of rework duration and a DSM-based CCPM-MPL representation method.

e Effect of Overlaps between Activities on Rework Times.
Zhang et al. introduced the concept of rework safety time, which is defined as the safety time caused by rework, to deal with rework risk [8]. e value of rework safety time is the total expected rework time of the activity. e initial safety time determined without considering rework is called activity safety time. e sum of activity safety time and rework safety time is called the total safety time.
Project teams face complex situations when an activity may be overlapped with multiple precedent activities, and information transmission from any one of them may cause its rework and affect its rework time. In prior studies [8,18], the rework times caused by information transmission from its multiple predecessors were simply summed up to be the default rework amount. e calculation method is highly questionable because the accumulation of rework times may exceed the longest individual overlap time. Such overlap time should be the upper limit of rework time and occurs in the worst scenario in which the completed work has to be reworked completely. In order to relieve multiple predecessors' effect on rework calculation times, a formula developed by Dehghan is introduced and explained in the following section [42].
Furthermore, reworking an activity requires less effort compared to the first time in most cases because of the learning curve effect and the activity participants' adaption [17]; learning curves are utilized to accurately measure effects of rework risks on activity duration. Further study by Osborne found that reworked activities exhibited little further learning-curve effect after an initial rework [43]. erefore, the learning curve for each activity is considered as a fixed value when calculating the rework safety time; it means that a fixed proportion of original activity duration will be taken for rework execution whether it is the first or subsequent rework.

Methodology
In this section, we present project scheduling using a startto-start relationship between activities with the max-plus method first. is part is the integration of CCPM, DSM, and max-plus method. DSM is used to represent the logic of activities, and the max-plus method is employed to decouple relationships among these activities to further determine the critical chain of the project. Based on these efforts, we then build a model that considers the learning curve effects and overlaps with multiple predecessors to calculate rework safety times accurately. Finally, we propose a refined buffer determination method that is expressed in max-plus algebra to generate appropriately sized time buffers and protect project schedules. Specifically, notations used in this section are listed in Table 2.

Project Scheduling with a Max-Plus Method.
Four major operators of max-plus algebra are defined as follows. For two (1) RSEM [36] Buffer � ������������ n i�1 (S i − A i ) 2 S i represents the duration with 90% completion probability A i represents the duration with 50% completion probability APRT [30] r(i, q) represents resource requirements of i for q Rav(q) represents the level of resource acquisition of q �������� � n i�1 VAR i represents the sum of duration variance of activity in the critical chain VAR i TOTPRE represents the number of activity relationships in the chain NUMTASK represents the number of activities in the network Buffer calculation considering resource tightness [37] Buffer �

�������������������� �
α i represents the physical resource tightness β i represents the information resource tightness σ iy represents the standard deviation of activities Buffer calculation considering resource tightness, network complexity, and risk coefficient [31] Buffer In addition, two basic unit elements for these operators are given by ε( ≡ − ∞) and e( ≡ 0), and ⊗ and ⊙ are prior to ⊕ and ∧. Previous studies on the CCPM-MPL framework have assumed that an activity could not begin until all its precedent activities were completed. at means, only the FTS relationship is taken into consideration in project scheduling, and no overlapping exists between activities. However, this assumption is highly questionable, considering the fact that precedent constraints between activities include, but are not limited to, the FTS relationship, and overlapping between activities is prevalent in actual projects [44]. erefore, multiple relationships need to be considered in project scheduling and integrated into the CCPM-MPL framework to develop project schedules closer to actual circumstances.
Our work takes the STS relationship between activities into account by transforming it into a finish-tofinish (FTF) relationship, which is more suitable for embedment in a max-plus method. As shown in Figure 1(a), a STS relationship exists between activities A and B with the value of a, which means that activity B cannot start until activity A has started for at least a days, at which time a can be transformed into a corresponding value of the FTF relationship which is b, as shown in Figure 1(b). Let matrix F ss represent the STS relationship between activities (see Figure 2(a)) and matrix F represent the corresponding FTF relationship (see Figure 2(b)). If the FTF relationship exists, the element is then filled with the corresponding value; otherwise, it will be filled with ε. e transforming process can be expressed as follows: where D is the matrix of activity durations and filled by the diagonal elements with each activity's duration and the nondiagonal elements with negative infinity. e CCPM-MPL framework adopted in this paper has been modified to make it more applicable to projects. First, as we consider the characteristics of projects, including uniqueness and one-time process, the start time of a certain project activity is regarded to be unaffected by completion of the same kind of activities in other projects previously completed. Second, for simplicity, external inputs and external outputs are not included in this study. Project scheduling processes in the CCPM-MPL representation are given in the following. e earliest finish time for each activity is calculated as where (F) * � e n ⊕ F⊕ · · · ⊕(F) l− 1 . e (i, j)th element of matrix (F) * means the largest deviation of the finish time of activities j and i if activities i and j are on one or more paths at the same time; otherwise, it is ε. For simplicity, we set x 0 � (e, e . . . , e) T √√√√ √ √√√√ √ n , which is an n × 1 matrix and means the beginning of activities in the project will not be affected by other projects with e representing zero. e earliest start time for each activity is calculated as the difference between its earliest finish time and duration according to the following equation: e corresponding output time, denoted as the maximum of the earliest finish time for all activities, is given by where C 0 � (e, e, . . . , e) √√√√ √√√√ n , which is a 1 × n matrix with e representing zero. e latest start time for each activity is calculated as the difference between the project output time and the sum duration of activity i, as well as the duration of subsequent critical activities, according to the following equation: e total floats in all activities are obtained as e critical chain is then determined by the set of activities α that satisfy α[TF] α � 0 .

Calculation of Rework Safety Times.
We define the rework safety time as the rework time caused by information flow interactions, including rework time arising from overlaps with precedent activities, the first rework times, and the second rework times. erefore, the rework safety time of an activity is the sum of the three kinds of rework times above. Ignoring rework times when estimating the safety times may lead to smaller time buffers than necessary.

Effects of Information Flow Interactions on Rework
Risks. As previously mentioned, information uncertainties are the main reasons for rework [7]. Such uncertain information may transmit or feedback from one activity to another, creating information flow. Information flow interactions may cause rework risks in projects and consequently cost more rework time. Although information transmission and feedback exist in both overlapping and nonoverlapping activities, information flow interactions in these two conditions are significantly different. For nonoverlapping activities, rework risks mainly arise from information feedback from successive activities and information transmission from precedent activities after completion of their rework. As depicted in Figure 3, A is a precedent activity of , and together, they perform sequentially according to relationships. After C has been completed, the performance information of C will be generated and transmitted from C to A, which may result in rework of A. Such a case is known as the first rework [45]. e first rework time is shown as the shadow area in Figure 3(a). After the completion of rework, A transmits or feeds back some revised information to B, which may cause rework of B. Such cases are called the second rework. e second rework times are shown as the shadow areas in Figures 3(b) and 3(c). Both the first rework and the second rework should be taken into consideration in project scheduling to avoid that the planned project duration is much less than the actual duration.
In addition to the aforementioned two reasons, information flow interactions between overlapping activities are another major cause of rework. It is noteworthy that only overlapping-dependent activities can generate this type of rework risk for projects. Two activities overlapping without a dependent relationship will lead to no rework. As shown in Figure 4, t A represents the completed time of activity A before A transmits preliminary information to its successive activity B. t B represents the execution time of activity B when B receives information from A, while t 1 represents the duration in which B continually receives information from A and transfers feedback information to A simultaneously until A is complete. Hence, the overlap between A and B is represented as the sum of t B and t 1 . e rework duration arising from information flow interactions between overlapping activities can be represented as RT 0 , which is a function of overlapping duration-i.e., t A and t 1 .

Determining Rework Times Arising from Activity
Overlaps. In order to quantify the effects of rework risks on activity and project duration, four matrices are introduced to Figure 1: (a) Activities with the STS relationship; (b) the transformation of STS to the FTF relationship. To calculate rework times between overlapping activities, the overlap times (O ij ) need to be determined first. e formula is shown as follows: Matrix F can then be achieved through equation (3), and the earliest start times of activities can be determined through equation (5). Based on the earliest start times of activities, the overlap duration (O ij ) between activities i and j can be obtained by erefore, the learning curve for each activity is modeled as a fixed value in this research, which means that a fixed proportion of original activity duration will be taken for rework execution whether it is the first or subsequent rework.
Based on the aforementioned definitions, the rework duration (RT 0 ) in Figure 4 can be calculated by where LC i represents the learning curve of activity i. Figure 5 shows a successor activity i with all of its entire predecessors (j � 1 to n), and each of the predecessors has an overlapping period with activity i (O ij : j � 1 to n). [RT 0 ] ij refers to the rework time of activity i caused by its predecessor j, and O i , which satisfies O i � max(O i1 , O i2 , . . . , O in ), represents the maximum overlapping period of activity i with all its predecessors, while [RT 0 ] i represents the rework time of activity i caused by its predecessors 1 to n.
According to probability theory, if two events (A and B) are independent of each other and can occur simultaneously, the occurrence probability of the union of the two events, denoted as P(A ∪ B), can be calculated by It should be noted that the probability principles are still valid when more than two events exist as well.
Since an activity can overlap with multiple predecessors simultaneously and the overlaps are not mutually exclusive, all of the reworks caused by individual overlaps between activity i and its different predecessors can be considered as nearly independent of each other. According to equation (11), the rework time resulting from individual overlaps can be calculated by is replaced with X ij to represent the calculation process more concisely. For any overlapping time (O ij ), at least X ij ′ exists that satisfies erefore, the calculation process of X ij ′ can be expressed with respect to individual rework duration ([RT 0 ] ij ) and the maximum individual overlapping period (O i ) as follows: e rework time can then be expressed as a function of the maximum individual overlapping period (O i ) and the union of X ij ′ (j � 1, 2, . . . , n), that is, Figure 4: Information flow interaction between overlapping activities.

Advances in Civil Engineering
When j � 2, according to equations (12) and (13), the rework time is calculated by Similar equations can be extended from equation (14) for the calculation of rework times in the case of j � 3, 4, . . . , n. When j � n, the calculation process is given as e rework time is more reasonable than that determined by traditional methods because of the following three reasons. First, the rework time does not exceed the longest individual overlapping period. Second, the result will never be less than the longest individual rework time, and third, the rework time will increase as the number of precedent activities increases.

Determining the Times of the First and the Second
Reworks. Based on the previously defined parameters, including rework probability ([RP] ij ), rework intensity ([RI] ij ), learning curve (LC i ), and activity duration ([D] ii ), the first rework times of activity i ([RT 1 ] ij ) caused by information feedback from activity j, shown as the shadow in Figure 3(a), can be obtained by [17] e total time of the first rework of activity i ([RT] i ) caused by information feedback from all its successive activities can be obtained by Similarly, the total time of the second rework of activity i ([RT 2 ] i ) caused by information feedback from all of its successive activities, shown as the shadow in Figures 3(b) and 3(c), can be obtained by   ] i ), whose calculation process is shown as follows:

Activity Sequence Optimization to Reduce Information
Flow Interactions. As previously mentioned, information flow interactions cause the codependency between activity durations and bring about rework risks. e rework times of activities are highly correlated to the intensity of information flow interactions. Noticeably, compared to information transmission, information feedback is more likely to lead to a higher intensity of information flow interactions. erefore, we can reduce the intensity of information flow interactions and activity rework times by shortening the distance of the information feedback path through the optimization of the activity sequence [46]. It is introduced as the objective function to optimize the activity sequence: where [RP] i,j represents the (i, j)th value extracted from the rework probability matrix.

Determining Buffer Sizes with the Refined RSEM in a Max-Plus Representation.
In this section, we improve the traditional RSEM by adopting more accurately calculated rework safety times and express them in max-plus algebra to make the calculation process more effective.

Determining Project Buffers.
According to the central limit theorem, the activity safety times and rework safety times are first allocated at the end of the project, and the refined RSEM is then used to determine the project buffer. e principle of the refined RSEM is shown in Figure 6, in which d i represents the estimated duration of activity i with a 50% completion rate, and ST i denotes the total safety time of activity i. ST i is composed of the rework safety time (ST ri ) and the activity safety time (ST 0i ), which has a 90% completion rate. e project buffer can then be calculated with refined RSEM by To calculate PB effectively, a virtual activity, two vectors, and a matrix are defined, denoted as V 0 , ST 2 , ST 2 p , and T p , respectively. Virtual activity V 0 is added at the end of schedules and consumes no time. An assumption is made that a relationship exists that satisfies FTF � 0 between V 0 and each other activity. e ith element of ST 2 , denoted as [ST 2 ] i , means the square of total safety time of activity i, and the corresponding element of activity V 0 is e. Vector ST 2 p is transformed from ST 2 by else.

⎧ ⎨ ⎩ (24)
To better interpret matrix T p , a simple case example is shown in Figure 7. It is assumed that the square of total safety times of activities is [a, b, c], and activity B is not on the critical chain. We then achieve the vector ST 2 p as [a, e, c, e] and matrix T p . e PB can then be represented in max-plus algebra as where C T 0 � (e, e, . . . , e) √√√√ √√√√ n+1 , which is a 1 × (n + 1) matrix with e representing zero.

Determining
In preparation of the location and size of the feeding buffer, another two vectors are introduced, where α and β are the set of activities on the critical chain and those on the noncritical chain, respectively. Moreover, an adjacency matrix R is transformed from matrix F by Vector v ′ is then introduced to locate the feeding buffers as follows: where R βα is the adjacency matrix, which represents transitions from noncritical activities to critical ones, and can be obtained by R βα � diag (w) ⊗ R ⊗ diag (v). λ represents the noncritical activity, one of whose successors is critical activity. erefore, a feeding buffer should be inserted behind the activity c. e feeding buffer can then be determined by square rooting of the sum of [ST 2 ] η , where η is the set of activities on a certain noncritical chain. e formula is expressed in max-plus algebra as Advances in Civil Engineering 9 Furthermore, due to the constraint that the feeding buffer should not exceed its total float, the sizes of the feeding buffers should be adjusted by

Case Study
is section presents an empirical analysis to validate the feasibility and effectiveness of the proposed method on addressing rework risks in project schedule management. Section 4.1 presents the project data used in this study. Section 4.2 describes the implementation process of the proposed method in detail, and Section 4.3 compares the schedule generated by the proposed method with that generated by traditional CCPM methods.

Project Dataset.
e case used for the empirical analysis was derived from a feasibility study of a modular real estate construction first introduced by Sullivan [47] and further supplemented by Eppinger et al. [41]. It was a typical project with large-scale rework relationships and overlaps. e data were collected through interviews of individual team members and the group as a whole, and interviews to identify the information exchanges required to execute each task and to better understand how the tasks were completed. e project data are shown in Figures 8(a)-8(d) and Table 3. e figure represents the initial predecessor time-factor matrix P 0 , the initial successor time-factor matrix S 0 , the initial rework probability matrix RP 0 , and the initial rework impact matrix RI 0 , respectively. Table 3 shows activities in the case and corresponding activity parameters including an optimistic duration completion rate of 90%, a pessimistic duration completion rate of 50%, and the most likely duration and learning curves for each activity.

Implementation of the Proposed Method.
e case was implemented with the proposed method, and the steps are shown in Figure 9 and described in detail as follows: Step 1: optimize the activity sequence. A genetic algorithm (GA), which has proven to be a useful tool in addressing complex project scheduling problems by a number of prior studies [48], was developed in MATLAB to address the activity-sequencing problem. Specially, according to previous research [41], the parameters of the GA including population size, number of generations, crossover probability, and the mutation probability were set as 50, 150, 0.95, and 0.08, respectively. Equation (21) was used as an objective function to generate a near-optimal activity sequence. Figure 10 shows the GA convergence process and   Step 2: update matrices P 0 , S 0 , RP 0 , and RI 0 into matrices P, S, RP, and RI according to the new activity sequence. e initial elements in the matrices were kept unchanged and transferred to the new places in the matrices in which the row and column represent corresponding original activity, respectively.
Step 3: generate matrices D and R. Matrix D was generated by filling the diagonal elements with a corresponding optimistic activity duration completion rate of 50%, as shown in Figure 11(a). Matrix R was derived from matrix P or S by replacing all of the nonnull elements with e and all of the null elements and upper-triangle elements with ε, as shown in Figure 11(b).
Step 4: generate matrices F ss and F. Matrix F ss was derived from matrices P, S, and D according to equation (9). Matrix F was derived from matrices F ss and D according to equation (3).
Step 5: determine the time parameters of activities including x + E , x − E , and x − L , as well as the critical chain and its length. x + E , x − E , and x − L were calculated according to equations (4), (5), and (7) based on matrices F and D. e total float vector TF was generated by equation (8)  Advances in Civil Engineering critical chain was calculated by equation (6), with a result of 68.67 days.
Step 6: determine overlap durations between activities and rework safety times. e overlap durations between activities were obtained by equation (10) based on the vector x − E and matrix D. Rework safety times including rework times arising from the activity overlap, the first rework times, and the second rework times were determined by equations (11) [8]. It is noted that the comparison is based on the optimized sequence of the activities. Previously, to access the effectiveness of the proposed methods in project scheduling under the rework scenarios, the Monte Carlo simulation approach was executed 500 times in the case project in which the duration of each project activity adhered to a beta distribution. Figure 12 shows the simulated actual project durations. While all three methods employed the CCPM-MPL representation method proposed in the paper to generate project schedules, they differed in terms of determination of project buffer sizes. e original RSEM, as previously mentioned, disregarded rework safety times. Zhang's method overcame this problem, but overlooked the effects of the learning curve, overlapping with multiple predecessors, and the second rework on calculation results of rework safety times when determining the project buffer. Our model further factored in these considerations to generate a more accurate project buffer and reliable project schedule. e project buffers and schedules obtained by these three methods and comparison results are presented in Table 4 and Figure 13. e results showed that the estimated project schedule durations generated with Zhang's method and the original RSEM were 104.25 days, including the project buffer of 35.58 days, and 102.11 days including the project buffer of 33.43 days, respectively. When the estimated project durations were superimposed in the simulated project durations using the Monte Carlo approach as depicted in Figure 13, it can be seen that the on-time completion probabilities were 50.40% and 34.60%, respectively. e results show that the schedule generated with the proposed method, which had an on-time completion probability of 85.40%, significantly outperformed schedules generated with the other two methods in ensuring on-time completion probability of the case project.
Furthermore, the proposed method outperformed Zhang's method and the original RSEM by providing an appropriately sized project buffer with a proper buffer consumption rate on average. As illustrated in Table 4, the buffer consumption rate of schedules generated with the proposed method was 89.39%, while that of the other two methods was 100.57% and 107.04%, respectively. e oversized buffer consumption rate means that, in many cases, the calculated project buffer is undersized and unable to protect the project from schedule delay.

Conclusion
In this paper, through an integration of the DSM and CCPM methods, as well as a max-plus method, a new project scheduling method was developed to generate schedules of projects under rework scenarios. Accurate rework safety times of activities were calculated by factoring in rework time arising from activity overlaps, the first rework time, and the second rework time. Time buffers were then determined with the RSEM considering the rework risk. e refined max-plus method was utilized to transform the logic ties, rework relationships, and other parameters of the activity into simple matrix operations, and such parameters are uniformly calculated by the maxplus method to realize the effective scheduling of the project. Formulas in the max-plus algebra were created to calculate buffers with the refined RSEM and generate project schedules with the STS relationship between activities. e empirical results showed that project schedules generated with the proposed method have appropriately sized project buffers and can ensure a higher on-time completion probability compared to those generated with traditional CCPM methods. e paper contributes to the project schedule management research and practice in the following ways.  14 Advances in Civil Engineering We have greatly extended the research framework of the CCPM-MPL representation method. e original CCPM-MPL framework was based on the logical tie in that FTS is equal to 0, and we developed the formula applicability to the situation that STS is not equal to 0. e original CCPM-MPL framework employed the C&PM method to calculate times buffers, and we designed the formula expressed in max-plus algebra for calculation of time buffers with the RSEM and adjusted the max-plus method to generate project schedules with the STS relationship existing between activities. Our model considers the learning curve effects and the overall overlapping effect to calculate rework safety times accurately. DSMs have been integrated into the framework, enabling the generated project schedules to deal with rework risks effectively. We also developed an accurate calculation model of rework safety times by factoring various rework factors and improved the calculation accuracy of rework time.
e proposed method is a promising and powerful tool for project practitioners. Project schedules generated with this proposed method can absorb rework risks and various other uncertainties, enabling practitioners to predict project duration accurately and have sufficient time to deal with rework risks during the project process.
ere also exist several limitations of this study. Considering little attention to the STS relationship in the literature as well as the potential to incorporating overlaps of the STS relationship, this study makes an attempt to focus on the STS relationship, yet we also ignore other types of relationship, such as the STF relationship.
ere are many directions for future research efforts regarding the problem investigated in the current paper. Resource conflict continues to remain a critical challenge in project scheduling and deserves future research by extending the current CCPM-MPL framework. Additionally, the effect of activity overlap on the calculation of activity safety times was not considered when determining the project buffer and feeding buffers. is topic also merits future research. Besides, the current study validates the proposed method with a case study, and further application of this method should be investigated in different types of project and scenario.
Data Availability e data generated or analyzed during the study are available from the corresponding author upon request. Information about the journal's data-sharing policy can be found at http://ascelibrary.org/doi/10.1061/(ASCE)CO.1943-7862. 0001263.

Disclosure
Any opinions, findings, conclusions, or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the NSFC.

Conflicts of Interest
e authors declare that they have no conflicts of interest.