1 Introduction

The current business environment has led organizations and institutions to seek cost savings and customer satisfactions in order to develop, leading them to Supply Chain Management (SCM). To overcome some problems, organizations have come up with a new management approach called the Sustainable Supply Chain Management (SSCM), which removes social, economic and environmental concerns and also has a high performance in the Supply Chain (SC). The benefits of a SSCM include customer satisfaction, quality, innovation and cost control, all of which are rooted in sustainability.

One of the most efficient methods for assessing the performance and the relative efficiency of the Sustainable Supply Chain (SSC) is Data Envelopment Analysis (DEA) [1].

DEA is a nonparametric method, to evaluate homogenous systems that consume multiple inputs to produce multiple outputs. In DEA method, any system is considered as a Decision Making Units (DMUs) and its relative efficiency is measured based on Linear Programming (LP). The two basic DEA models are CCR model, which was proposed by Charnes et al. [2], and BCC model, which was proposed by Banker et al. [3], rely on Constant Return to Scale(CRS) and Variable Return to Scale (VRS) assumption, respectively, to obtain relative efficiency of DMUs.

In conventional DEA models, the inner structure of a DMU is neglected and considered as a single process with primary inputs and final outputs. Awareness of internal structure can provide a broader view of SSC performance. In innovative DEA method, moreover the external inputs and final outputs, intermediate products have also been investigated in total performance. In general, three types of structures are considered for network structures which are called series structures, parallel structures and mixture of series and parallel structures. Recently, a lot of attention has been paid to measuring the efficiency of network systems.

Assessing the performance of a system in network structure has been discussed in many of studies in the field of DEA and different approaches have been developed.

DEA approach to assess the efficiency of systems (DMUs) by considering the internal structures of systems is called Network DEA (NDEA) [4]. Some of them are in the two envelopment and multiplier forms, for examples see, Seiford and Zhu [5], Zhu [6], Lewis and Sexton [7], Tsolas [8], Adler et al. [9]. A number of studies illustrate the multiplicative decomposition approach; for instance see; Kao and Hwang [10], Kao [11], Chen et al. [12]. Some approaches are based on Nash bargaining game model, for examples; Liang et al. [13], Zha and Liang [14], Du et al.[15] and Zhou et al. [16]. In this vein, some studies recommended additive approach, for instance, Chen and Zhu [17], Yu and Lin [18], Chiou et al. [19], Tone and Tsutsui [20] and Liu and Lu [21]. Identifying the role of intermediate products in the NDEA method is a significant and difficult issue [22].

In previous studies, the role of intermediate products has not been clarified accurately. According to the concept of intermediate products role (links control), six scenarios among different stages of supply chains have been introduced by Hassanzadeh and Mostafaee [23]. By their classification, intermediate products value control through (i) the prior stage, (ii) the latter stage, (iii) both first and second stages which have no cooperation (iv) both first and second stages which have cooperation, (v) no stages which have non-cooperative approach and (vi) no stages which have cooperative approach.

Existence of congestion in inputs, intermediate products or both is one of the factors that decrement efficiency of DMUs. Congestion is an event in the production processes in which the increment in one or more inputs does not increase outputs. Due to the definition, congestion can be considered as shortage in outputs. Eliminating the congestion leads to improved performance and efficiency of DMUs. The economic concept of congestion has been extensively studied within the context of DEA method. Many studies have been carried out to evaluate congestion in content DEA.

The presence of congestion in an SSC reduces its efficiency, so its determination is of great significance. So, eliminating the congestion leads to improved performance and efficiency which leads to the importance of congestion issue in SSC.

The study of congestion was started by Fare and Svensson in 1980 [24]. Afterwards, their study was developed by Fare and Grosskopf [25] and they presented a model based on content of DEA. Next, Fare et al. [26] suggested two DEA models in input-oriented and output-oriented (Called FGL approach). Their study only identified congested DMUs but could not compute its value. The detecting congestion issue was seriously investigated by the efforts of Cooper et al. They played a major role in determining DEA-based congestion: see for instance, [27,28,29]. Jahanshahloo et al., Khodabakhshi and Noura et al. each proposed various methods for detecting congestion within the framework of DEA: see [30,31,32]. Wei and Yan [33] investigated the necessary and sufficient conditions for occurrence of congestion according to the type of Returns To Scale (RTS) due to DEA efficiency. Also, Tone and Sahoo [34] defined a new Production Possibility Set (PPS) with the assumption of convexity and strong output disposability and omitted input possibility postulate which is named \(T_{\rm convex}.\) Then, by proposing an algorithm, congested DMUs were identified and new notions of "strong congestion" and "weak congestion" were suggested by them. Some previous studies deal with problems while determining congested inefficient units. According to their definition, the congested inefficient unit is defined at its efficient projection which is determined via the congestion-based DEA model. If multiple projections occur, one of them is chosen arbitrary, whereas choosing any of the efficient projections lead to changes in their congestion status. To overcome this problem, further studies have been done on this crucial issue. For example, Sueyoshi and Sekitiani [35] proposed "wide congestion" definition which covering both strong and weak congestion and then suggested an approach which produce a unique optimal solution and a unique projection for inefficient units. Afterwards, two DEA models were proposed which uniquely determined the status of wide congestion. Next, Mehdiloozad et al. [36] proposed an LP model for identifying the Max projection of units (as reference unit) and demonstrated that the congestion status of DMUs is similar to the status congestion of their reference unit. Also, Shadab et al. [37] suggested a novel algorithm through making connection between S-shape form of production function and the geometric properties of the anchor points to identify weakly and strongly congested DMUs and congestion amount without determining the efficiency value and inefficient DMUs projection on the efficiency frontier.

None of the existing studies discussed congestion in a network system; until Khoveyni et al. [38] considered a system with two-stage structure and specified the effect of intermediate products variations on final outputs of second stage and suggested an algorithm to find out the congestion of extreme efficient systems (a system which is efficient in both stages) via solving NDEA models. In addition, in terms of theory of economics of scale, Shabanpour et al. [39] divided the congested inputs into two positive inputs (lead to increases efficiency) and negative inputs (lead to decrease efficiency). Then, they proposed a new NDEA model to evaluate and rank sustainable suppliers performance. It is noticeable that no studies have mentioned the role of intermediate products, and only considered one scenario for determining congestion in intermediate products.

In this study, we consider a two-stage supply chain as shown in Fig. 1. Then, congestion of intermediate products (links) in terms of links role is detected for the first time. Then "strongly" or "weakly" congested supply chains are introduced. To achieve this goal, among six scenarios which is introduced according to links role [23], four scenarios which congestion occurs in intermediate products are identified. Then for each scenario the dominant cone definition, which is introduced by Mehdiloozad et al. [36] in conventional DEA, used in network structure. Next, NDEA models are proposed in each mentioned scenarios to find out strongly or weakly congested supply chains. The rest of this paper organized as follows:

Fig. 1
figure 1

The visual description of DMUj

Section 2 provides some essential preliminaries and definitions. In Sect. 3, four scenarios where congestion occurs in intermediate products, according to the role of links, are identified and by using dominant cone in network structure and proposing NDEA models, the status of congestion is obtained. In Sect. 4, proposed model have been implemented on 20 Iranian Resin companies. Eventually, Sect. 5 includes some conclusions.

2 Preliminaries

2.1 DEA models

Suppose that we have a set of peer observed DMUs, (DMUj, \(j = 1,\ldots,n\)) such that each DMUj produces multiple nonnegative outputs \(y_{rj}\;(r = 1,...,s)\) utilizing multiple nonnegative inputs \(x_{ij} \,(i = 1,...,m)\). It is supposed that \({\mathbf{x}}_{j} = (x_{1j} ,...,x_{mj} )^{T} \ne {\mathbf{0}}_{m}\) and \({\mathbf{y}}_{j} = (y_{1j} ,...,y_{sj} )^{T} \ne {\mathbf{0}}_{s}\) for each j. Moreover, assume that \(D_{j} = ({\mathbf{x}}_{j} ,{\mathbf{y}}_{j} )^{T}\) expresses input and output vectors of each DMUj, \(j \in J = \left\{ {1,...,n} \right\}\). We assume that there is not any duplicate DMU.

The PPS is defined as the set of all possible input–output vectors as follow:

$${\text{PPS}} = \, \left\{ {\left( {{\mathbf{x}},{\mathbf{y}}} \right):{\mathbf{y}}\;{\text{can be produced by }}{\mathbf{x}}} \right\}$$

After providing the CCR model [2], Banker et al. [3] introduced the following PPS under VRS assumption as follow:

$$T_{v} = \left\{ {({\mathbf{x,y}})\,\left| {{\mathbf{x}}\lambda \le {\mathbf{x}},{\mathbf{y}}\lambda \ge {\mathbf{y}},{\mathbf{1}}^{T} \lambda = 1,\lambda \ge {\mathbf{0}}} \right.} \right\}$$

\(T_{v}\) satisfies the postulates of inclusion of observations, convexity, input possibility postulate, output possibility postulate and minimum extrapolation. Tv is an unbounded convex polyhedral set.

According to the input possibility postulate, the following relationship is hold:

$$({\mathbf{x}},{\mathbf{y}}) \in T_{v} ,{\overline{\mathbf{x}}} \ge {\mathbf{x}} \Leftrightarrow ({\overline{\mathbf{x}}},{\mathbf{y}}) \in T_{v}$$

In the absence of input disposability postulates, Tone and Sahoo [35] introduced a new production technology with VRS assumption as following and named it Tconvex.

$$T_{{{\text{convex}}}} = \left\{ {\left( {{\mathbf{x}},{\mathbf{y}}} \right){|}{\mathbf{x}} = {\mathbf{x}}\lambda ,{\mathbf{y}} \le {\mathbf{y}}\lambda ,1^{T} \lambda = 1,\lambda \ge 0} \right\}$$

Tconvex is a bounded convex set, which is satisfies the postulates of inclusion observations, convexity, output possibility postulate and minimum extrapolation.

Additive model with respect to Tv was proposed by Charnes et al. [40] to evaluate the efficiency of DMUo and defined as follow:

$$\begin{aligned}& Max\,\sum\limits_{i = 1}^{m} {s_{i}^{ - } + \sum\limits_{r = 1}^{s} {s_{r}^{ + } } } \hfill \\ s.t \hfill \\ \quad \quad & \sum\limits_{j = 1}^{n} {\lambda_{j} x_{ij} + s_{i}^{ - } = x_{io} } \quad \quad \forall i \hfill \\ \quad \quad & \sum\limits_{j = 1}^{n} {\lambda_{j} y_{rj} - s_{r}^{ + } = y_{ro} } \quad \forall r \hfill \\ \quad \quad & \sum\limits_{j = 1}^{n} {\lambda_{j} = 1} \hfill \\ \quad \quad & s_{i}^{-},s_{r}^{+},\lambda_{j}\geq 0 \quad \forall {i},{r},{j}\end{aligned}$$
(1)

Definition 2.1

(Additive-efficiency) Let DMUo = \(({\mathbf{x}}_{o} ,{\mathbf{y}}_{o} )\) is a unit under evaluation. DMUo is an additive efficient unit if and only if all output slack vectors (\({\mathbf{s}}^{ + *}\)) and all input slack vectors (\({\mathbf{s}}^{ - *}\)) are zero. (\({\mathbf{s}}^{ + *} = {\mathbf{0}}_{s}\) and \({\mathbf{s}}^{ - *} = {\mathbf{0}}_{m}\)). Else, it is called inefficient [40].

Through this paper "*" indicates optimality.

Definition 2.2

(Efficiency) Consider the following output-oriented model to evaluate efficiency of DMUo = \(({\mathbf{x}}_{o} ,{\mathbf{y}}_{o} )\) under set of Tconvex and \(\varepsilon\) as a non-Archimedean number. DMUo is called efficient if and only if \(\beta^{*} = 1\) and \({\mathbf{s}}^{ + *} = {\mathbf{0}}_{s}\) in model (2). Otherwise, DMUo is called inefficient [34].

$$\eqalign { & Max\,\,\beta + \varepsilon (\sum\limits_{r = 1}^{s} {s_{r}^{ + } )} \hfill \\ & s.t \hfill \\ \quad \quad & \sum\limits_{j = 1}^{n} {\lambda_{j} x_{ij} = x_{io} } \quad \quad \forall i \hfill \\ \quad \quad & \sum\limits_{j = 1}^{n} {\lambda_{j} y_{ir} - s_{r}^{ + } = \beta \,y_{ro} } \quad \forall r \hfill \\ \quad \quad & \sum\limits_{j = 1}^{n} {\lambda_{j} = 1} \hfill \\ \quad \quad & \lambda_{j} ,s_{r}^{ + } \ge 0\quad \quad \quad \quad \forall j,r \hfill \\ \quad \quad & \beta :URS \hfill \\ }$$
(2)

Definition 2.3 (Projection Point)

The projection point associated with an inefficient DMUo in Model (2) is obtained as follow [34]:

$$\left( \begin{gathered} {\mathbf{x}}_{o}^{{{\text{congestion}}}} \hfill \\ y_{o}^{{{\text{congestion}}}} \hfill \\ \end{gathered} \right) = \left( \begin{gathered} {\mathbf{X}}\lambda^{*} \hfill \\ {\mathbf{Y}}\lambda^{*} \hfill \\ \end{gathered} \right) = \left( \begin{gathered} {\mathbf{x}}_{o} \hfill \\ \beta^{*} {\mathbf{y}}_{o} + {\mathbf{s}}^{*} \hfill \\ \end{gathered} \right)$$

Note that the above projection is an efficient DMU of technology Tconvex.

2.2 Congestion

Generally, a DMU is confronted with congestion if an increase in one or some inputs decreases one or some outputs with no worsening the rest of inputs or outputs.

Many methods have been used to investigate congestion by presenting the conventional DEA models. One of these studies was done by Tone and Sahoo [34]. They proposed an algorithm to detect congested DMUs and proposed the concept of "strong congestion" and "weak congestion" as follows:

Definition 2.4 (Strong congestion)

DMUo has strong congestion if it is efficient with respect to Tconvex and there exists an activity \(({\overline{\mathbf{x}}},{\overline{\mathbf{y}}}) \in T_{convex}\) such that \({\overline{\mathbf{x}}} = \alpha \,{\mathbf{x}}_{o}\)\((0 < \alpha < 1)\) and \({\overline{\mathbf{y}}} \ge \beta \,{\mathbf{y}}_{o}\)\((\beta > 1)\). In other words, strong congestion occurs in DMUo if proportional decrement in all inputs of DMUo results an increment in all outputs.

Definition 2.5 (Weak congestion)

DMUo has weak congestion if there exists an activity \(({\overline{\mathbf{x}}},{\overline{\mathbf{y}}}) \in T_{convex}\) that consumes fewer resources in one or more inputs to obtain more products in one or more outputs, it means; \({\overline{\mathbf{x}}} \le \,{\mathbf{x}}_{o}\),\({\overline{\mathbf{y}}} \ge \,{\mathbf{y}}_{o}\) and \({\overline{\mathbf{y}}} \ne \,{\mathbf{y}}_{o}\).

When multiple projections occur, some studies deal with problems for identifying congested inefficient DMUs from theoretical and applicable point of view. Some studies have been done to solve this problem. For instance, Mehdiloozad et al. [36] determined a dominant cone for DMUo and stated theorem for identifying weak and strong congestion as follows:

Considering the dominant cone \(C = \left\{ {( - {{\varvec{\upalpha}}},{{\varvec{\upbeta}}})\left| {({{\varvec{\upalpha}}},{{\varvec{\upbeta}}}) \ge {\mathbf{0}}_{m + s} } \right.} \right\}\) and defined Do as follow:

$$D_{o} = \left\{ {({\mathbf{x}}_{o} ,{\mathbf{y}}_{o} ) + ( - {{\varvec{\upalpha}}},{{\varvec{\upbeta}}})\left| {( - {{\varvec{\upalpha}}},{{\varvec{\upbeta}}}) \in C} \right.} \right\} \cap T_{{{\text{convex}}}}$$

Obviously, \(D_{o}\) is the set of all DMUs in Tconvex that dominate DMUo. Also, they defined:

$$S_{o} = \left\{ {({{\varvec{\upalpha}}},{{\varvec{\upbeta}}})\left| {\;{\mathbf{X}}\lambda = {\mathbf{x}}_{o} - {{\varvec{\upalpha}}},{\mathbf{Y}}\lambda \ge {\mathbf{y}}_{o} + {{\varvec{\upbeta}}},{\mathbf{1}}_{n}^{T} \lambda = 1,\,\lambda \ge {\mathbf{0}}_{n} ,\,{{\varvec{\upalpha}}} \ge {\mathbf{0}}_{m} ,\,{{\varvec{\upbeta}}} \ge {\mathbf{0}}_{s} } \right.} \right\}$$

Also, they expressed the following two properties as a theorem.

Theorem 2.1

  1. (i)

    DMUo is weakly congested if and only if there exists some \(({{\varvec{\upalpha}}},{{\varvec{\upbeta}}}) \in S_{o}\) such that \({{\varvec{\upbeta}}} \ne {\mathbf{0}}_{s}\)

  2. (ii)

    DMUo is strongly congested if and only if there exists some \(({{\varvec{\upalpha}}},{{\varvec{\upbeta}}}) \in S_{o}\) such that \(({{\varvec{\upalpha}}},{{\varvec{\upbeta}}}) > {\mathbf{0}}_{m + s}\).

In previous studies, DMUs were considered as a single process (black box) which only used the primary inputs for producing the total outputs. Such an attitude ignored existence of congestion in intermediate products and measured congestion in primary inputs solely. Until, Khoveyni et al. [38] and Shabanpour et al. [39] considered DMUs with network structure and determined congested DMUs but the role of intermediate products in a network system was neglected and congestion was determined regardless of the role of intermediate products in studies. They introduced the concept of congestion in NDEA but the role of intermediate products was not mentioned in their definition and only one scenario was considered to obtain the congestion of intermediate products.

3 Identifying congestion in network DEA (NDEA)

In this study we consider a Supply Chain (SC) with two-stage structure with external inputs for first stage, final outputs for second stage and intermediate products(links) through stage one and stage two (see Fig. 1). A SC may confront with congestion in external inputs or intermediate products or both. Among six scenarios in NDEA, which are related to notion of intermediate products [23], congestion occurs in four scenarios which are called;

(i) intermediate products value control via the second stage, (ii) intermediate products value control via both first and second stages (Non-cooperative approach), (iii) intermediate products value control via both first and second stages (cooperative approach) and (iv) intermediate products value control via neither of two stages (cooperative approach).

In the two remaining scenarios congestion cannot occur. The scenario which is called intermediate products value control through the prior stage [23], the intermediate products play the role of outputs for the second stage. In this scenario, the second stage has no decision on receiving the amount of intermediate products and only the first stage decides on the products to be sent, and therefore congestion does not occur. Also, in the scenario called intermediate products value control through no stages which have non-cooperative approach [23], the intermediate products sent from first stage are equal to the amount of received by second stage.

In the following, the intermediate product congestion is explored in mentioned scenarios. To this aim, dominant cone in network structure is developed and NDEA models are proposed for the scenarios which congestion occurs in intermediate products. Finally, the status of congestion is found out.

Suppose there are a set of n homogenous DMUs, DMUj; \(j \in J = \left\{ {1,...,n} \right\}\), whose activity consists of k-stages (\(k = 1,2\)). The first stage consumes input vector \({\mathbf{x}}_{j} = (x_{1j} ,...,x_{mj} )^{T} \ne {\mathbf{0}}_{m}\) and second stage produce final output vector \({\mathbf{y}}_{j} = (y_{1j} ,...,y_{sj} )^{T} \ne {\mathbf{0}}_{s}\). In addition, the number of intermediate products from stage 1 to stage 2 is denoted by \({\mathbf{z}}_{j} = (z_{1j} ,...,z_{Lj} )^{T} \ne {\mathbf{0}}_{L}\) which is depicted in Fig. 1. Moreover, assume that there is not duplicate DMU. Four scenarios which congestion occurs in intermediate products are introduced and proposed two NDEA models for each scenario to determine "strong" and "weak" congestion in a SC.

Scenario 1: Intermediate products value control via the second stage.

In this scenario, the optimal values of intermediate products are detecting by the second stage and the first stage has no power in controlling the intermediate products. Therefore, the intermediate products play the only role of the inputs under the full control of the second stage. So, congestion can happen in intermediate products of DMUj;\(j \in J = \left\{ {1,...,n} \right\}\). The technology production in this scenario can be expressed as follow:

$$PPS_{1} = \left\{ {({\mathbf{x}},{\mathbf{z}},{\mathbf{y}})\left| {\sum\limits_{j = 1}^{n} {\lambda_{j}^{1} x_{ij} \le x_{io} ,\sum\limits_{j = 1}^{n} {\lambda_{j}^{2} y_{rj} \ge y_{ro} ,\sum\limits_{j = 1}^{n} {\lambda_{j}^{1} z_{lj} = \sum\limits_{j = 1}^{n} {\lambda_{j}^{2} z_{lj} } \le z_{lo} ,\sum\limits_{j = 1}^{n} {\lambda_{j}^{k} = 1,\lambda_{j}^{k} \ge 0,\forall i,r,l,j,k} } } } } \right.} \right\}$$

where the superscript 1 stands for scenario 1.

In the absence of input disposability postulates, the \(PPS_{1}\) is written as follow and named it \(T_{1convex}\):

$$T_{1convex} = \left\{ {({\mathbf{x}},{\mathbf{z}},{\mathbf{y}})\left| {\sum\limits_{j = 1}^{n} {\lambda_{j}^{1} x_{ij} = x_{io} ,\sum\limits_{j = 1}^{n} {\lambda_{j}^{2} y_{rj} \ge y_{ro} ,\sum\limits_{j = 1}^{n} {\lambda_{j}^{1} z_{lj} = \sum\limits_{j = 1}^{n} {\lambda_{j}^{2} z_{lj} } = z_{lo} ,\sum\limits_{j = 1}^{n} {\lambda_{j}^{k} = 1,\lambda_{j}^{k} \ge 0,\forall i,r,l,j,k} } } } } \right.} \right\}$$

Definition 3.1 (Strong efficient)

A DMUo = \(({\mathbf{x}}_{o} ,{\mathbf{z}}_{o} ,{\mathbf{y}}_{o} ) \in T_{1convex}\) is a strong efficient DMU if the optimal objective value of Model (3) is zero, i.e., \(\eta_{1}^{*} = 0\). The set of strong efficient DMUs are denoted by \(SE_{{1{\kern 1pt} {\kern 1pt} convex}}^{{}}\).

$$\eqalign{ &\eta_{1}^{*} = Max\,\sum\limits_{r = 1}^{s} {\gamma_{r} } \hfill \\ \quad \quad s.t \hfill \\ \quad \quad \quad \quad & \sum\limits_{j = 1}^{n} {\lambda_{j}^{1} x_{ij} = x_{io} } \quad \quad \quad \quad \forall i \hfill \\ \quad \quad \quad \quad & \sum\limits_{j = 1}^{n} {\lambda_{j}^{2} y_{rj} = y_{ro} + \gamma_{r} } \quad \quad \forall r \hfill \\ \quad \quad \quad \quad & \sum\limits_{j = 1}^{n} {\lambda_{j}^{1} z_{lj} = \sum\limits_{j = 1}^{n} {\lambda_{j}^{2} z_{lj} } = z_{lo} \quad \forall l} \hfill \\ \quad \quad \quad \quad & \sum\limits_{j = 1}^{n} {\lambda_{j}^{k} } = 1\quad \quad \forall k \hfill \\ \quad \quad \quad \quad & \lambda_{j}^{k} ,\gamma_{r} \ge 0\quad \quad \quad \forall j,k,r \hfill \\ }$$
(3)

Definition 3.2:

Let DMUo = \(({\mathbf{x}}_{o} ,{\mathbf{z}}_{o} ,{\mathbf{y}}_{o} ) \in SE_{1convex}\). If there exists an activity \(({\hat{\mathbf{x}}},{\hat{\mathbf{z}}},{\hat{\mathbf{y}}}) \in T_{1convex}\) and \(({\varvec{\upbeta ,\upgamma }}) \ge {\mathbf{0}}_{L + s}\) such that \({\hat{\mathbf{x}}} \le {\mathbf{x}}_{o}\), \({\hat{\mathbf{z}}} = {\mathbf{z}}_{o} - {{\varvec{\upbeta}}}\) and \({\hat{\mathbf{y}}} = {\mathbf{y}}_{o} + {{\varvec{\upgamma}}}\) then the following statements are obtained:

  1. (i)

    DMUo = \(({\mathbf{x}}_{o} ,{\mathbf{z}}_{o} ,{\mathbf{y}}_{o} )\) evidences strong congestion in intermediate products if \(({\varvec{\upbeta ,\upgamma }}) > {\mathbf{0}}_{L + s}\).

  2. (ii)

    DMUo = \(({\mathbf{x}}_{o} ,{\mathbf{z}}_{o} ,{\mathbf{y}}_{o} )\) evidences weak congestion in intermediate products if \(({\varvec{\upbeta ,\upgamma }}) \ge {\mathbf{0}}_{L + s}\) and \({{\varvec{\upgamma}}} \ne {\mathbf{0}}_{s}\).

Now, we extent the definition of dominant cone presented by Mehdiloozad et al. [38] (DMUo was considered as black box), to determine the congestion status of strongly efficient DMUo respect to \(T_{1convex}\). To this aim, consider the dominant cone \(C\) as bellow:

$$C = \left\{ {( - {{\varvec{\upomega}}}, - {{\varvec{\upbeta}}},{{\varvec{\upgamma}}}){\kern 1pt} \left| {({{\varvec{\upomega}}},{{\varvec{\upbeta}}},{{\varvec{\upgamma}}}) \ge {\mathbf{0}}_{m + l + s} } \right.} \right\}$$

Also, \(D_{o}\) is defined as follow:

$$D_{o} = \left\{ {({\mathbf{x}}_{o} ,{\mathbf{z}}_{o} ,{\mathbf{y}}_{o} ) + ( - {{\varvec{\upomega}}}, - {{\varvec{\upbeta}}},{{\varvec{\upgamma}}})\left| {( - {{\varvec{\upomega}}}, - {{\varvec{\upbeta}}},{{\varvec{\upgamma}}})} \right. \in C} \right\} \cap T_{{{\text{1convex}}}}$$

\(D_{o}\) is the intersection of dominant cone and \(T_{1convex}\).

We define \(S_{o} = \left\{ {({{\varvec{\upomega}}},{{\varvec{\upbeta}}},{{\varvec{\upgamma}}})\left| {({\mathbf{x}}_{o} - {{\varvec{\upomega}}},{\mathbf{z}}_{o} - {{\varvec{\upbeta}}},{\mathbf{y}}_{o} + {{\varvec{\upgamma}}}) \in D_{o} ,({{\varvec{\upomega}}},{{\varvec{\upbeta}}},{{\varvec{\upgamma}}}) \ge {\mathbf{0}}_{m + l + s} } \right.} \right\}\). Obviously, the convex set \(S_{o} \ne \varnothing\) is a subset of nonnegative orthant and can be expressed as follow:

$$S_{o} = \left\{ {({{\varvec{\upomega}}},{{\varvec{\upbeta}}},{{\varvec{\upgamma}}})\left| {\lambda^{1} {\mathbf{x}} = {\mathbf{x}}_{o} - {{\varvec{\upomega}}},\lambda^{2} {\mathbf{y}} \ge {\mathbf{y}}_{o} + {{\varvec{\upgamma}}},\lambda^{1} {\mathbf{z}} = \lambda^{2} {\mathbf{z}} = {\mathbf{z}}_{o} - {{\varvec{\upbeta}}},{\mathbf{1}}\lambda^{k} = 1,\lambda^{k} \ge {\mathbf{0}}_{n} ,{{\varvec{\upgamma}}} \ge {\mathbf{0}}_{r} ,{{\varvec{\upbeta}}} \ge {\mathbf{0}}_{l} ,{{\varvec{\upomega}}} \ge {\mathbf{0}}_{m} ,\forall k} \right.} \right\}$$

According to the role of intermediate products in this scenario, we express the following definition to determine the congestion status of strong efficient units of \(T_{1convex}\).

Definition 3.3

The following statements are true:

  1. (i)

    DMUo is weakly congested in intermediate products if there exists \(({{\varvec{\upomega}}},{{\varvec{\upbeta}}},{{\varvec{\upgamma}}})\) in \(S_{o}\) such that \({{\varvec{\upgamma}}} \ne {\mathbf{0}}_{{s^{{}} }}\).

  2. (ii)

    DMUo is strongly congested in intermediate products if there exists \(({{\varvec{\upbeta}}},{{\varvec{\upgamma}}})\) in \(S_{o}\) such that \(({\varvec{\upbeta ,\upgamma }}) > {\mathbf{0}}_{l + s}\).

The next model can be applied to identify the congestion status of intermediate products of two-stage DMUs.

$$\eqalign{& \upsilon_{1}^{*} = Max\;\mathop {Min}\limits_{\forall l,r} \left\{ {\beta_{l} ,\gamma_{r} } \right\} \hfill \\ \quad \quad & s.t \hfill \\ \quad \quad \quad \quad & \sum\limits_{j = 1}^{n} {\lambda_{j}^{1} x_{ij} \le x_{io} \quad \quad \;\;\quad \forall i} \hfill \\ \quad \quad \quad \quad & \sum\limits_{j = 1}^{n} {\lambda_{j}^{2} y_{rj} = y_{ro} + \gamma_{r} \quad \quad \forall r} \hfill \\ \quad \quad \quad \quad & \sum\limits_{j = 1}^{n} {\lambda_{j}^{1} z_{lj} = } \sum\limits_{j = 1}^{n} {\lambda_{j}^{1} z_{lj} = } z_{lo} - \beta_{l} \quad \forall l \hfill \\ \quad \quad \quad \quad & \sum\limits_{j = 1}^{n} {\lambda_{j}^{k} = 1} \quad \quad \quad \quad \quad \quad \forall k\quad \quad \hfill \\ \quad \quad \quad \quad & \lambda_{j}^{k} ,\gamma_{r} ,\beta_{l} \ge 0\quad \quad \quad \quad \quad \forall j,k,r,l \hfill \\ }$$
(4)

Model (4) is a bi-level problem that the inner problem has the objective function in minimizing form but the outer problem is in the maximizing form. Since, the inner and outer problems have the opposite sides for optimization; the model with some variable substitutions can be easily transferred into a single objective function problem.

Definition 3.4

Let DMUo = \(({\mathbf{x}}_{o} ,{\mathbf{z}}_{o} ,{\mathbf{y}}_{o} ) \in SE_{1convex}\). If the optimal objective value of Model (4) is positive, i.e., \(\upsilon_{1}^{*} > 0\), then DMUo is said strongly congested.

To identify the weakly congested DMUo in \(SE_{1convex}\) the following model is suggested:

$$\eqalign{ &\sigma_{1}^{*} = \mathop {Max\;\gamma_{r} }\limits_{\forall r} \hfill \\ \quad \quad & s.t \hfill \\ \quad \quad \quad & \sum\limits_{j = 1}^{n} {\lambda_{j}^{1} x_{ij} \le x_{io} \quad \quad \;\quad \forall i} \hfill \\ \quad \quad \quad & \sum\limits_{j = 1}^{n} {\lambda_{j}^{2} y_{rj} = } y_{ro} + \gamma_{r} \quad \quad \forall r \hfill \\ \quad \quad \quad & \sum\limits_{j = 1}^{n} {\lambda_{j}^{1} z_{lj} = \sum\limits_{j = 1}^{n} {\lambda_{j}^{2} z_{lj} = z_{lo} - \beta_{l} \quad \forall l} } \hfill \\ \quad \quad \quad & \sum\limits_{j = 1}^{n} {\lambda_{j}^{k} = 1} \quad \quad \quad \forall k \hfill \\ \quad \quad \quad & \lambda_{j}^{k} ,\gamma_{r} ,\beta_{l} \ge 0\quad \quad \quad \quad \quad \quad \quad \;\forall j,k,r,l \hfill \\ }$$
(5)

Definition 3.5

Let DMUo = \(({\mathbf{x}}_{o} ,{\mathbf{z}}_{o} ,{\mathbf{y}}_{o} ) \in SE_{1convex}\). DMUo is weakly congested if the optimal objective value of Model (5) is positive, i.e., \(\sigma_{1}^{*} > 0\).

Now, the next theorems show that Definition 3.2 is equivalent to Definitions 3.4 and 3.5.

Theorem 3.1

DMUo = \(({\mathbf{x}}_{o} ,{\mathbf{z}}_{o} ,{\mathbf{y}}_{o} ) \in SE_{1convex}\) evidences strong congestion in intermediate products according to definition 3.2 if and only if the optimal value of objective function of Model (4) is positive.

Proof:

Suppose that DMUo has strong congestion in intermediate products. So, according to definition 3.2, there exists an activity \((\hat{\mathbf {x}},\hat{\mathbf {z}},\hat{\mathbf {y}})\) and \(({\varvec{\upbeta ,\upgamma }}) > {\mathbf{0}}_{l + s}\) such that \({\hat{\mathbf{x}}} \le {\mathbf{x}}_{o}\), \({\hat{\mathbf{z}}} = {\mathbf{z}}_{o} - {{\varvec{\upbeta}}}\) and \({\hat{\mathbf{y}}} = {\mathbf{y}}_{o} + {{\varvec{\upgamma}}}\). Consider \(\mathop {Min}\limits_{r,l} \,\left\{ {{\kern 1pt} \beta_{l} ,\gamma_{r} } \right\} = \rho\). Obviously, \(\rho > 0\) therefore \(Max\,\rho\) is positive, i.e., the value of objective function of Model (4) is positive.

Assume that the optimal value of objective function of Model (4) is positive and \(({{\varvec{\upbeta}}},{{\varvec{\upgamma}}},\lambda^{1} ,\lambda^{2} )\) is optimal solution of Model (4) which is feasible solution for this model. Consider \(\mathop {Min}\limits_{r,l} \,\left\{ {{\kern 1pt} {{\varvec{\upbeta}}}_{l} {\mathbf{,\gamma }}_{r} } \right\} = \rho\) then \(\rho \le {{\varvec{\upgamma}}}\) and \(\rho \le {{\varvec{\upbeta}}}\). According to assumption; \(Max\,\rho > 0\), so \(0 < \rho \le {{\varvec{\upbeta}}}\) and \(0 < \rho \le {{\varvec{\upgamma}}}\). According to the constraints of Model (4):

$$\begin{aligned} {\hat{\mathbf{x}}} =& \lambda^{1} {\mathbf{x}} \le {\mathbf{x}}_{o} \hfill \\ {\hat{\mathbf{y}}} =& \lambda^{2} {\mathbf{y}} = {\mathbf{y}}_{o} + {{\varvec{\upgamma}}} \hfill \\ {\hat{\mathbf{z}}} =& \lambda^{1} {\mathbf{z}} = \lambda^{2} {\mathbf{z}} = {\mathbf{z}}_{o} - {{\varvec{\upbeta}}} \hfill \\ {\mathbf{1}}\lambda^{k} = &1\;\forall k \hfill \\ \end{aligned}$$

Therefore, there exists an activity \(({\hat{\mathbf{x}}},{\hat{\mathbf{z}}},{\hat{\mathbf{y}}}) \in T_{1convex}\) such that \({\hat{\mathbf{x}}} \le {\mathbf{x}}_{o}\), \({\hat{\mathbf{z}}} < {\mathbf{z}}_{o}\) and \({\hat{\mathbf{y}}} > {\mathbf{y}}_{o}\). It indicates that DMUo has strong congestion in intermediate products.

Now we express theorem 3.2 for the evidence of weak congestion in intermediate products.

Theorem 3.2

DMUo = \(({\mathbf{x}}_{o} ,{\mathbf{z}}_{o} ,{\mathbf{y}}_{o} ) \in SE_{1convex}\) evidences weak congestion in intermediate products according to definition 3.2 if and only if the optimal value of objective function of Model (5) is positive.

Proof:

The proof is similar to the proof of Theorem 3.1. \(\square\)

Scenario 2: Intermediate products value control via both first and second stages (Non-cooperative approach).

The intermediate products are found out through both first and second stages simultaneously and independently. So, the intermediate products play the dual role of the output under control of the first and input of the second stage.

The PPS respect to the intermediate products role can be stated as bellow:

$$PPS_{2} = \left\{ {({\mathbf{x}},{\mathbf{z}},{\mathbf{y}})\left| {\sum\limits_{j = 1}^{n} {\lambda_{j}^{1} x_{ij} \le x_{io} ,\sum\limits_{j = 1}^{n} {\lambda_{j}^{2} y_{rj} \ge y_{ro} ,\sum\limits_{j = 1}^{n} {\lambda_{j}^{1} z_{lj} \ge z_{lo} ,\sum\limits_{j = 1}^{n} {\lambda_{j}^{2} z_{lj} } \le z_{lo} ,\sum\limits_{j = 1}^{n} {\lambda_{j}^{k} = 1,\lambda_{j}^{k} \ge 0,\forall i,r,l,j,k} } } } } \right.} \right\}$$

In the absence of input disposability postulates,\(PPS_{2}\) is written as the following PPS and named it \(T_{2convex}\):

$$T_{2convex} = \left\{ {({\mathbf{x}},{\mathbf{z}},{\mathbf{y}})\left| {\sum\limits_{j = 1}^{n} {\lambda_{j}^{1} x_{ij} = x_{io} ,\sum\limits_{j = 1}^{n} {\lambda_{j}^{2} y_{rj} \ge y_{ro} ,\sum\limits_{j = 1}^{n} {\lambda_{j}^{1} z_{lj} \ge z_{lo} ,\sum\limits_{j = 1}^{n} {\lambda_{j}^{2} z_{lj} } = z_{lo} ,\sum\limits_{j = 1}^{n} {\lambda_{j}^{k} = 1,\lambda_{j}^{k} \ge 0,\forall l,j,k} } } } } \right.} \right\}$$

Definition 3.6

DMUo = \(({\mathbf{x}}_{o} ,{\mathbf{z}}_{o} ,{\mathbf{y}}_{o} ) \in T_{2convex}\) is said strong efficient DMU if the optimal objective value of Model (6) is zero, i.e., \(\eta_{2}^{*} = 0\). The set of strong efficient DMUs belong to \(T_{2convex}\) is named by \(SE_{2convex}\).

$$\begin{gathered} \eta_{2}^{*} = Max(\sum\limits_{r = 1}^{s} {\gamma_{r} + \sum\limits_{l = 1}^{L} {\varphi_{l} } )} \hfill \\ \quad \quad s.t \hfill \\ \quad \quad \quad \sum\limits_{j = 1}^{n} {\lambda_{j}^{1} x_{ij} = x_{io} \quad \quad \;\quad \forall i} \hfill \\ \quad \quad \quad \sum\limits_{j = 1}^{n} {\lambda_{j}^{2} y_{rj} = } y_{ro} + \gamma_{r} \quad \quad \forall r \hfill \\ \quad \quad \quad \sum\limits_{j = 1}^{n} {\lambda_{j}^{1} z_{lj} = z_{lo} + \varphi_{l} \quad \quad \forall l} \hfill \\ \quad \quad \quad \sum\limits_{j = 1}^{n} {\lambda_{j}^{2} z_{lj} = z_{lo} \quad \quad \quad \quad \forall l} \hfill \\ \quad \quad \quad \sum\limits_{j = 1}^{n} {\lambda_{j}^{k} = 1} \quad \quad \quad \quad \quad \;\forall k \hfill \\ \quad \quad \quad \lambda_{j}^{k} ,\gamma_{r} ,\varphi_{l} \ge 0\quad \quad \quad \quad \forall j,k,r,l \hfill \\ \end{gathered}$$
(6)

Since intermediate products (\({\mathbf{z}}\)) play the input and output role of stage 2 and stage 1, respectively, we consider \({\mathbf{z}} = ({\mathbf{z}}_{1} ,{\mathbf{z}}_{2} )\) in this scenario and propose the congestion definition in NDEA as bellow:

Definition 3.7

Let DMUo = \(({\mathbf{x}}_{o} ,{\mathbf{z}}_{o} ,{\mathbf{y}}_{o} ) \in SE_{2convex}\) such that \({\mathbf{z}}_{o} = ({\mathbf{z}}_{1o} ,{\mathbf{z}}_{2o} )\). If there exists an activity \(({\hat{\mathbf{x}}},{\hat{\mathbf{z}}},{\hat{\mathbf{y}}}) \in T_{2convex}\) and \(({{\varvec{\upbeta}}}^{2} ,{{\varvec{\upgamma}}}) \ge {\mathbf{0}}_{l + s}\) that \({\hat{\mathbf{x}}} \le {\mathbf{x}}_{o}\),\({\hat{\mathbf{y}}} = {\mathbf{y}}_{o} + {{\varvec{\upgamma}}}\),\(\hat{z}_{1} \ge z_{1o}\) and \({\hat{\mathbf{z}}}_{2} = {\mathbf{z}}_{2o} - {{\varvec{\upbeta}}}^{2}\) then the following definition can be obtained:

  1. (i)

    DMUo is strongly congested in intermediate products if \(({{\varvec{\upbeta}}}^{2} ,{{\varvec{\upgamma}}}) > {\mathbf{0}}_{l + s}\).

  2. (ii)

    DMUo is weakly congested in intermediate products if \({{\varvec{\upgamma}}} \ne {\mathbf{0}}_{s}\).

According to the properties of \(T_{2convex}\), we consider the dominant cone as follow:

$$C = \left\{ {( - {{\varvec{\upomega}}}, - {{\varvec{\upbeta}}}^{2} ,{{\varvec{\upbeta}}}^{1} ,{{\varvec{\upgamma}}})\left| {({{\varvec{\upomega}}},{{\varvec{\upbeta}}}^{2} ,{{\varvec{\upbeta}}}^{1} ,{{\varvec{\upgamma}}}) \ge {\mathbf{0}}_{m + 2l + s} } \right.} \right\}$$

Also, we define \(D_{o} = \left\{ {({\mathbf{x}}_{o} ,{\mathbf{z}}_{2o} ,{\mathbf{z}}_{1o} ,{\mathbf{y}}_{o} ) + ( - {{\varvec{\upomega}}}, - {{\varvec{\upbeta}}}^{2} ,{{\varvec{\upbeta}}}^{1} ,{{\varvec{\upgamma}}})\left| {( - {{\varvec{\upomega}}}, - {{\varvec{\upbeta}}}^{2} ,{{\varvec{\upbeta}}}^{1} ,{{\varvec{\upgamma}}}) \in C} \right.} \right\} \cap T_{2convex}\). Do is the intersection of dominant cone and \(T_{2convex}\). We define:

$${S_o} = \left\{ {({\varvec{\upomega }},{{\varvec{\upbeta }}^2},{{\varvec{\upbeta }}^1},{\varvec{\upgamma }}) \geqslant {{\bf{0}}_{m + 2l + s}}\left| {({{\bf{x}}_o} - {\varvec{\upomega }},} \right.{{\bf{z}}_{2o}} - {{\varvec{\upbeta }}^2},{{\bf{z}}_{1o}} + {{\varvec{\upbeta }}^1},\bf{y_o} + {\varvec{\upgamma}} ) \in {D_o}} \right\}$$

Obviously; \(S_{o}\) is a non-empty convex subset of nonnegative orthant that can be expressed equivalently as below:

$${S_o} = \left\{ {({\varvec{\upomega }},{{\varvec{\upbeta }}^2},{{\varvec{\upbeta }}^1},{\varvec{\upgamma }})\left| {{\uplambda ^1}{\bf{x}} = {{\bf{x}}_o} - {\varvec{\upomega }},{\lambda ^2}{\bf{y}} \geqslant {{\bf{y}}_o} + {\varvec{\gamma }},} \right.{\lambda ^1}{{\bf{z}}_{1o}} \geqslant {{\bf{z}}_{1o}} + {{\varvec{\upbeta }}^1},{\uplambda ^1}{{\bf{z}}_{2o}} = {{\bf{z}}_{2o}} - {{\varvec{\upbeta }}^2},{{\varvec{\upbeta }}^1} \geqslant {{\bf{0}}_l},{{\varvec{\upbeta }}^1} \geqslant {{\bf{0}}_l},{\varvec{\upgamma }} \geqslant {{\bf{0}}_r},{\varvec{\upomega }} \geqslant {{\bf{0}}_m}} \right\}$$

In this scenario, based on definition \(S_{o}\) accompany with intermediate products role, the congestion status of DMUo in \(SE_{\text{2convex}}\) can be obtained via the following definition:

Definition 3.8

  1. (i)

    (i) DMUo is weakly congested in intermediate products if \(\bf \upgamma\in S_{o}\) such that \(\bf \upgamma\neq 0_{s}\).

  2. (ii)

    DMUo is strongly congested in intermediate products if \(({{\varvec{\upbeta }}^2},{\varvec{\upgamma }}) \in {S_o}\) such that \(({{\varvec{\upbeta }}^2},{\varvec{\upgamma }}) > {{\bf{0}}_{l + s}}\).

Model (7) is used to detect the congestion status of intermediate products of DMUo in.

$$\eqalign{ & \upsilon _2^* = Max\;\mathop {Min\,}\limits_{l,r} \left\{ {{\gamma _r},\beta _l^2} \right\} \cr & \quad \quad s.t \cr & \quad \quad \quad \quad \quad \sum\limits_{j = 1}^n {\lambda _j^1{x_{ij}} \leqslant {x_{io}}\quad \quad \quad \forall i} \cr & \quad \quad \quad \quad \quad \sum\limits_{j = 1}^n {\lambda _j^2{y_{ir}} = {y_{ro}} + {\gamma _r}\quad \quad \forall r} \cr & \quad \quad \quad \quad \quad \sum\limits_{j = 1}^n {\lambda _j^1{z_{lj}} \geqslant {z_{lo}}\quad \quad \quad \quad \forall l} \cr & \quad \quad \quad \quad \quad \sum\limits_{j = 1}^n {\lambda _j^2{z_{lj}} = {z_{lo}} - \beta _l^2\quad \quad \forall l} \cr & \quad \quad \quad \quad \;\;\;\sum\limits_{j = 1}^n {\lambda _j^k} = 1\quad \quad \quad \quad \quad \;\forall j,k \cr & \quad \quad \quad \quad \quad \lambda _j^k,{\gamma _r},\beta _l^2 \geqslant 0\quad \quad \quad \quad \forall j,k,r,l \cr}$$
(7)

Definition 3.9

Let DMUo = \(({{\bf{x}}_o},{{\bf{z}}_o},{{\bf{y}}_o}) \in S{E_{{\text{2convex}}}}\). DMUo is strongly congested if \(\upsilon _2^* > 0\) in Model (7).

Model (7) is a bi-level program that can be converted to single objective function problem easily.

Also, by proposing the following model; weakly congested DMU belongs to \(SE_{\text{2convex}}\) can be detected:

$$\eqalign{ & \sigma _2^* = \mathop {{\text{Max}}\,}\limits_r {\gamma _r} \cr & \quad \quad s.t \cr & \quad \quad \sum\limits_{j = 1}^n {\lambda _j^1{x_{ij}} \leqslant {x_{io}}\quad \forall i} \cr & \quad \quad \sum\limits_{j = 1}^n {\lambda _j^2{y_{ir}} = {y_{ro}} + {\gamma _r}\quad \forall r} \cr & \quad \quad \sum\limits_{j = 1}^n {\lambda _j^1{z_{lj}} \geqslant {z_{lo}}\quad \quad \forall l} \cr & \quad \quad \sum\limits_{j = 1}^n {\lambda _j^2{z_{lj}} \leqslant {z_{lo}}\quad \forall l} \cr & \quad \quad \sum\limits_{j = 1}^n {\lambda _j^k} = 1\quad \forall j,k \cr & \quad \quad \lambda _j^k,{\gamma _r} \geqslant 0\quad \forall j,k,r \cr}$$
(8)

Definition 3.10

Let DMUo = \(({{\bf{x}}_o},{{\bf{z}}_o},{{\bf{y}}_o}) \in S{E_{{\text{2convex}}}}\). DMUo evidences weak congestion in intermediate products if \(\sigma _2^*\).

The following theorem shows that Definition 3.7 is equivalent to Definitions 3.8 and 3.9.

Theorem 3.3

DMUo = \(({{\bf{x}}_o},{{\bf{z}}_o},{{\bf{y}}_o}) \in S{E_{{\text{2convex}}}}\) is strongly congested in intermediate products according to Definition 3.7 if and only if the optimal value of objective function of Model (7) is positive.

Proof:

Assume that DMUo is strongly congested according to Definition 3.7. So, there exists an activity \(({\hat{\bf x}},{\hat{\bf z}},{\hat{\bf y}})\) and \(({{\varvec{\upbeta }}^2},{\varvec{\upgamma }}) > {{\bf{0}}_{l + s}}\) such that \({\hat{\bf x}} \leqslant {{\bf x}_o}\), \({{\hat{\bf z}}_2} = {{\bf{z}}_o} - {{\varvec{\upbeta }}^2}\), \({{\hat{\bf z}}_1} \geqslant {{\bf{z}}_o}\) and \({\hat{\bf y}} = {{\bf{y}}_o} + {\varvec{\upgamma }}\). Consider \(Min\,\left\{ {{{\varvec{\upbeta }}^2},{\varvec{\upgamma }}} \right\} = \rho\) such that \(\rho > 0\). Therefore, \({\text{Max\;Min}}\,\left\{ {{{\varvec{\upbeta }}^2},{\varvec{\upgamma }}} \right\}\) is positive, i.e., the value of objective functions of Model (7) is positive.

Suppose that the optimal value of objective function Model (7) is positive and \(({{\varvec{\lambda }}^1},{{\varvec{\lambda }}^2},{{\varvec{\upbeta }}^2},{\varvec{\upgamma }})\) is an optimal solution which is feasible solution for this model too. Consider \(Min\,\left\{ {{{\varvec{\upbeta }}^2},{\varvec{\upgamma }}} \right\} = \rho\) then \(\rho \leqslant {{\varvec{\upbeta }}^2}\) and \(\rho \leqslant {\varvec{\upgamma }}\). Regarding to the assumption, \(0 < \rho \leqslant {\varvec{\upbeta }}\) and \(0 < \rho \leqslant {\varvec{\upgamma }}\). From constraints of Model (7):

$$\eqalign{ & {\hat{\bf x}} = {\lambda ^1}{\bf{x}} \leqslant {{\bf{x}}_o} \cr & {\hat{\bf y}} = {\lambda ^2}{\bf{y}} = {{\bf{y}}_o} + {\bf{\gamma }} > {{\bf{y}}_o} \cr & {{{\hat{\bf z}}}_1} = {\lambda ^1}{{\bf{z}}_{1o}} \geqslant {{\bf{z}}_{1o}} \cr & {{{\hat{\bf z}}}_2} = {\lambda ^1}{{\bf{z}}_{2o}} = {{\bf{z}}_{2o}} - {{\bf{\beta }}^2} < {{\bf{z}}_{2o}} \cr & {\bf{1}}{\lambda ^k} = 1\quad \quad \forall k \cr}$$

Therefore, there exists an activity \(({\hat{\bf x}},{\hat{\bf z}},{\hat{\bf y}}) \in {T_{{\text{2convex}}}}\) such that \({\hat{\bf x}} \leqslant {{\bf{x}}_o},\;{\hat{\bf y}} > {{\bf{y}}_o},\;{{\hat{\bf z}}_2} < {{\bf{z}}_{2o}}\), and \({{\hat{\bf z}}_1} \geqslant {{\bf{z}}_{1o}}\). It deduced that DMUo has strong congestion in intermediate products. Therefore, Definition 3.7 is satisfied.\(\quad \square\)

Theorem 3.4

DMUo = \(({{\bf{x}}_o},{{\bf{z}}_o},{{\bf{y}}_o}) \in S{E_{{\text{2convex}}}}\) is weakly congested in intermediate products according to definition 3.7 if and only if the optimal value of objective function problem of Model (8) is positive.

Proof:

The proof of Theorem 3.4 is the same as theorem 3.3.\(\quad \square\)

Scenario 3: Intermediate products value control via both stages (cooperative approach).

The intermediate products have a dual role of the input and output simultaneously, which are controlled by the both stages (the first and second stages). Therefore, congestion occurs in the intermediate products of DMUj. In this scenario, PPS is defined as below:

$$PP{S_3} = \left\{ {({\bf{x}},{\bf{z}},{\bf{y}})\left| {\sum\limits_{j = 1}^n {\lambda _j^1{x_{ij}} \leqslant {x_{io}},\sum\limits_{j = 1}^n {\lambda _j^2{y_{rj}} \geqslant {y_{ro}},\sum\limits_{j = 1}^n {\lambda _j^1{z_{lj}} = \sum\limits_{j = 1}^n {\lambda _j^2{z_{lj}} = } {z_{lo}} + s_{lz}^{1 + } - s_{lz}^{1 - },\sum\limits_{j = 1}^n {\lambda _j^k = 1,\lambda _j^k \geqslant 0\,\forall j,k,l} } } } } \right.} \right\}$$

In the absence of input disposability postulates, the \(PPS_{3}\) can be written as follow and named it \(T_{\text{3convex}}\):

$${T_{3convex}} = \left\{ {({\bf{x}},{\bf{z}},{\bf{y}})\left| {\sum\limits_{j = 1}^n {\lambda _j^1{x_{ij}} = {x_{io}},\sum\limits_{j = 1}^n {\lambda _j^2{y_{rj}} \geqslant {y_{ro}},\sum\limits_{j = 1}^n {\lambda _j^1{z_{lj}} = \sum\limits_{j = 1}^n {\lambda _j^2{z_{lj}} = } {z_{lo}} + s_{lz}^{1 + } - s_{lz}^{1 - },\sum\limits_{j = 1}^n {\lambda _j^k = 1,\lambda _j^k \geqslant 0\forall j,k,l} } } } } \right.} \right\}$$

Definition 3.10

DMUo=\(({{\bf{x}}_o},{{\bf{z}}_o},{{\bf{y}}_o}) \in {T_{3convex}}\) is called a strong efficient DMU if the optimal value function of Model (9) is zero, i.e.,\(\eta _3^* = 0\). The set of strong efficient DMUs respect to \(T_{\text{3convex}}\) is named\(SE_{\text{3convex}}\)

$$\eqalign{ & \eta _3^* = \max \,(\sum\limits_{r = 1}^s {{\gamma _r} + \sum\limits_{l = 1}^L {s_l^{1 - } + \sum\limits_{l = 1}^L {s_l^{1 + })} } } \cr & \quad \quad s.t \cr & \quad \quad \quad \quad \sum\limits_{j = 1}^n {\lambda _j^1{x_{ij}} = {x_{io}}\quad \quad \forall i} \cr & \quad \quad \quad \quad \sum\limits_{j = 1}^n {\lambda _j^2{y_{rj}} = {y_{ro}} + {\gamma _r}\quad \quad \forall r} \cr & \quad \quad \quad \quad \sum\limits_{j = 1}^n {\lambda _j^1{z_{lj}} = \sum\limits_{j = 1}^n {\lambda _j^2{z_{lj}} = {z_{lo}} + s_l^{1 + } - s_l^{1 - }\quad \quad \forall l} } \cr & \quad \quad \quad \quad \lambda _j^k,{\gamma _r},s_l^{1 + },s_l^{1 - } \geqslant 0\quad \quad \quad \forall j,k,l. \cr}$$
(9)

Definition 3.11

(Congestion in NDEA) Let DMUo = \(({{\bf{x}}_o},{{\bf{z}}_o},{{\bf{y}}_o}) \in {T_{3convex}}\). If there exists an activity \(({\hat{\bf x, z,y}}) \in {T_{3convex}}\) and \(({\varvec{\upgamma }},{{\bf{s}}^{1 - }}) \geqslant {{\bf{0}}_{s + L}}\) such that \({\hat{\bf x}} \leqslant {{\bf{x}}_o},{\hat{\bf y}} = {{\bf{y}}_o} + {\varvec{\upgamma }},\) and \({\hat{\bf z}} = {{\bf{z}}_o} - {{\bf{s}}^{1 - }}\), then DMUo is facing strong congestion in intermediate products if \(({\varvec{\upgamma }},{{\bf{s}}^{1 - }}) > {{\bf{0}}_{s + L}}\) and weak congestion if \({\varvec{\upgamma }} \ne {{\bf{0}}_s}\).

Now, to detect the congestion status of strong efficient DMUs respect to \(T_{\text{3convex}}\), the dominant cone is defined like \(C = \left\{ {( - {\varvec{\upomega }}, - {{\bf{s}}^{1 - }},{\varvec{\upgamma }})\left| {({\varvec{\upomega }},{{\bf{s}}^{1 - }},{\varvec{\upgamma }}) \geqslant {{\bf{0}}_{m + L + s}}} \right.} \right\}\).

Also, we define \({D_o} = \left\{ {({{\bf{x}}_o},{{\bf{z}}_o},{{\bf{y}}_o}) + ( - {\varvec{\upomega }}, - {{\bf{s}}^{1 - }},{\varvec{\upgamma }})\left| {( - {\varvec{\upomega }}, - {{\bf{s}}^{1 - }},{\varvec{\upgamma }}) \in C} \right.} \right\} \cap {T_{3convex}}\) and \({S_o} = \left\{ {( - {\varvec{\upomega }}, - {{\bf{s}}^{1 - }},{\varvec{\upgamma }}) \geqslant {\bf{0}}_{m + L + s}\left| {({{\bf{x}}_o} - {\varvec{\upomega }},{{\bf{z}}_o} - {{\bf{s}}^{1 - }},{{\bf{y}}_o} + {\varvec{\upgamma }}) \in {D_o}} \right.} \right\}\).

Obviously, \({S_o} \ne \varnothing\) is nonnegative convex subset of orthant. Respect to above definition, \(S_{o}\) can be presented equivalently as follow:

$${S_o} = \left\{ {( - {\varvec{\upomega }}, - {{\bf{s}}^{1 - }},{\varvec{\upgamma }})\left| {{\uplambda ^1}{\bf{x}} = {{\bf{x}}_o} - {\varvec{\upomega }},{\uplambda ^2}{\bf{y}} \geqslant {{\bf{y}}_o} + {\varvec{\upgamma }},{\uplambda ^1}{\bf{z}} = {\uplambda ^2}{\bf{z}} = {{\bf{z}}_o},{\varvec{\upgamma }} \geqslant {{\bf{0}}_r},} \right.{{\bf{s}}^{1 - }} \geqslant {{\bf{0}}_L},{\varvec{\upomega }} \geqslant {{\bf{0}}_m}} \right\}$$

According to above definition, the following statements can be expressed to identify the status congestion of intermediate products of strong efficient DMUs.

Definition 3.12

  1. (i)

    DMUo evidences weak congestion in the intermediate products if there exists \({\varvec \upgamma}\neq{\bf 0}_{s}\).

  2. (ii)

    DMUo evidences strong congestion in the intermediate products if there exists \(({\varvec \upgamma},{{\bf{s}}^{1 - }})>{\bf 0}_{s+L}\).

By Definition 3.13 and 3.14, strongly and weakly congested DMUs can be obtained through solving Model (10) and Model (11), respectively.

$$\eqalign{ & \upsilon _3^* = Max\;\mathop {Min}\limits_{r,l} \left\{ {{\gamma _r},{s^{1 - }}} \right\} \cr & \quad \quad s.t \cr & \quad \quad \quad \quad \quad \sum\limits_{j = 1}^n {\lambda _j^1{x_{ij}} \leqslant {x_{io}}\quad \quad \quad {\kern 1pt} \forall i} \cr & \quad \quad \quad \quad \quad \sum\limits_{j = 1}^n {\lambda _j^2{y_{rj}} = {y_{ro}} + {\gamma _r}\quad \quad \forall r} \cr & \quad \quad \quad \quad \quad \sum\limits_{j = 1}^n {\lambda _j^1{z_{lj}} = \sum\limits_{j = 1}^n {\lambda _j^2{z_{lj}} = {z_{lo}} + s_{lz}^{1 + } - } } s_{lz}^{1 - }\quad \quad \forall l \cr & \quad \quad \quad \quad \quad \sum\limits_{j = 1}^n {\lambda _j^k = 1\quad \quad \quad \quad \quad \forall k} \cr & \quad \quad \quad \quad \quad \lambda _j^k,{\gamma _r},s_{lz}^{1 - },s_{lz}^{1 + } \geqslant 0\quad \quad \quad \forall k,j,r,l \cr}$$
(10)
$$\eqalign{ & \sigma _3^* = \;\mathop {Max}\limits_r \;{\gamma _r} \cr & \quad \quad s.t \cr & \quad \quad \quad \quad \sum\limits_{j = 1}^n {\lambda _j^1{x_{ij}} \leqslant {x_{io}}\quad \quad \quad {\kern 1pt} \forall i} \cr & \quad \quad \quad \quad \sum\limits_{j = }^n {\lambda _j^2{y_{rj}} = {y_{ro}} + {\gamma _r}\quad \quad \forall r} \cr & \quad \quad \quad \quad \sum\limits_{j = 1}^n {\lambda _j^1{z_{lj}} = \sum\limits_{j = 1}^n {\lambda _j^2{z_{lj}} = {z_{lo}} + s_{lz}^{1 + } - } } s_{lz}^{1 - }\quad \quad \forall l \cr & \quad \quad \quad \quad \sum\limits_{j = 1}^n {\lambda _j^k = 1\quad \quad \quad \forall k} \cr & \quad \quad \quad \quad \lambda _j^k,{\gamma _r},s_{lz}^{1 - },s_{lz}^{1 + } \geqslant 0\quad \quad \quad \forall k,j,r,l \cr}$$
(11)

Definition 3.13

Let DMUo = \(({{\bf{x}}_o},{{\bf{z}}_o},{{\bf{y}}_o}) \in S{E_{3convex}}\). It is strongly congested in intermediate products if \(\upsilon _3^* > 0\).

Definition 3.14

Let DMUo = \(({{\bf{x}}_o},{{\bf{z}}_o},{{\bf{y}}_o}) \in S{E_{3convex}}\). DMUo is weakly congested if \(\sigma _3^* > 0\). Similar to the previous scenarios, we can express the following theorem.

Theorem 3.5

Let DMUo = \(({{\bf{x}}_o},{{\bf{z}}_o},{{\bf{y}}_o}) \in S{E_{3convex}}\). According to definition 3.11, DMUo evidences strong congestion in intermediate products if and only if the optimal value of objective function Model (10) is positive.

Proof: Suppose that DMUo evidence congestion according to Definition 3.11. So, there exists an activity \(({\hat{\bf x}}, {\hat{\bf z}}, {\hat{\bf y}})\) and \(({\varvec{\upgamma }},{{\bf{s}}^{1 - }}) > {{\bf{0}}_{s + L}}\) such that \({\hat{\bf x}} \leqslant {{\bf{x}}_o},\;{\hat{\bf z}} = {{\bf{z}}_o} - {{\bf{s}}^{1 - }}\) and \({\hat{\bf y}} = {{\bf{y}}_o} + {\varvec{\upgamma }}\). Consider \(Min\,\left\{ {{{\bf{s}}^{1 - }},{\varvec{\upgamma }}} \right\} = \rho\) such that \(\rho >0\). It results \({\text{Max}}\,\,{\text{Min}}\,\left\{ {{{\bf{s}}^{1 - }},{\bf{\upgamma }}} \right\}\) is positive, i.e., the value of objective function of Model (10) is positive.

Assume that the optimal value of objective function Model (10) is positive. Let \(({\uplambda ^1},{\uplambda ^2},{{\bf{s}}^{1 - }},{{\bf{s}}^{1 + }},{\varvec{\upgamma }})\) is optimal solution of Model (10) which is feasible solution for Model (10). Therefore, we have:

$$\eqalign{ & {\hat{\bf x}} = {\uplambda ^1}{\bf{x}} \leqslant {{\bf{x}}_o} \cr & {\hat{\bf y}} = {\uplambda ^2}{\bf{y}} = {{\bf{y}}_o} + {\bf{\upgamma }} \cr & {\hat{\bf z}} = {\uplambda ^1}{\bf{z}} = {\uplambda ^2}{\bf{z}} = {{\bf{z}}_o} + {{\bf{s}}^{1 + }} - {{\bf{s}}^{1 - }} \cr & {\bf{1}}{\uplambda ^k} = 1\quad \quad \forall k \cr}$$

Let \({\text{Min}}\,\left\{ {{{\bf{s}}^{1 - }},{\varvec{\upgamma }}} \right\} = \rho\) then \(\rho \leqslant {{\bf{s}}^{1 - }}\), \(\rho \leqslant \upgamma\) and \({\text{Max}}\,\rho > 0\). It results that \(0 < \rho \leqslant {\bf{\upbeta }}\) and \(0 < \rho \leqslant {\bf{\upgamma}}\). Therefore, there exists an activity \(({\hat{\bf x}}],{\hat{\bf z}},{\hat{\bf y}}) \in {T_{{\text{3convex}}}}\) such that \({\hat{\bf x}} \leqslant {{\bf{x}}_o},{\hat{\bf y}} \leqslant {{\bf{y}}_o}\) and\({\hat{\bf z}} < {{\bf{z}}_o}\). It indicates that DMUo has strong congestion in intermediate products.

Now we prove above theorem for the status of weak congestion.\(\quad \square\)

Theorem 3.6

Let DMUo = \(({{\bf{x}}_o},{{\bf{z}}_o},{{\bf{y}}_o}) \in S{E_{3convex}}\). According to definition 3.11 DMUo evidences strong congestion in intermediate products if and only if the optimal value of objective function of Model (10) is positive.

Proof:

The proof is similar to the proof of theorem 3.5.\(\square\)

Scenario 4: Intermediate products value control via neither of the two stages (cooperative approach).

In this scenario, there is no continuity in the amount of sending and receiving intermediate products among both stages. Therefore, congestion occurs in the intermediate products. The PPS of this scenario can be written as follows:

$$PP{S_4} = \left\{ {({\bf{x}},{\bf{z}},{\bf{y}})\left| {\sum\limits_{j = 1}^n {\lambda _j^1{x_{ij}} \leqslant {x_{io}},\sum\limits_{j = 1}^n {\lambda _j^2{y_{rj}} \geqslant {y_{ro}},\sum\limits_{j = 1}^n {\lambda _j^1{z_{lj}} \geqslant \sum\limits_{j = 1}^n {\lambda _j^2{z_{lj}}} ,\sum\limits_{j = 1}^n {\lambda _j^k = 1,\lambda _j^k \geqslant 0\forall j,k,l} } } } } \right.} \right\}$$

In the absence of input disposability postulates, the \(PPS_{4}\) can be written as follow and named it\(T_{4convex}\):

$${T_{4convex}} = \left\{ {({\bf{x}},{\bf{z}},{\bf{y}})\left| {\sum\limits_{j = 1}^n {\lambda _j^1{x_{ij}} = {x_{io}},\sum\limits_{j = 1}^n {\lambda _j^2{y_{rj}} \geqslant {y_{ro}},\sum\limits_{j = 1}^n {\lambda _j^1{z_{lj}} \geqslant \sum\limits_{j = 1}^n {\lambda _j^2{z_{lj}}} ,\sum\limits_{j = 1}^n {\lambda _j^k = 1,\lambda _j^k \geqslant 0\forall j,k,l} } } } } \right.} \right\}$$

\(PPS_{4}\), can be converted to the PPS of the third scenario, which is named Intermediate products control via both stages (cooperative approach) [23]. Therefore, determining the strong efficient DMU and statuses of "weak" and "strong" congestion in intermediate products can be obtained similar to the third scenario.

4 An empirical study

In the Sustainable Supply Chain (SSC), members use environmental and social criteria to remain in the SC. One of these sustainable supply chains that play an important role in the Country's industry is Resin manufacturing companies. Resin is a synthetic or natural compound that is very sticky which has been known to human thousands of years ago. Advances in technology and understanding the conversion of Resin to polymer have led to the discovery of synthetic Resin. Most polymers are made with the synthetic Resin, because they are cheaper and easier to purification. The establishment of Resin manufactory associations in Iran dates back to the year 1971 when eight companies were formed and today their number has grown more than twenty companies.

Material flow management, information and capital with the integration of goals from all three dimensions of sustainability (economics, environment and social) based on the requirement of customers and stockholders are considered in Resin manufacturing companies. Today, million tons of chemical materials are emitted into the air. Resin manufacturing companies emit a considerable amount of chemicals. In this section, an empirical example about application of the proposed method into Iranian Resin companies is given. We are looking forward for identifying congested companies to help improve their performance. So, we consider 20 Iranian Resin companies (DMUs) as a two-stage sustainable supply chain depicted in Fig. 2. The first stage is supplier and the second stage is manufacturer. Inputs for the first stage are annual cost (economic sustainability), annual turnover of employees (social sustainability) and environmental costs (environmental sustainability). The annual cost of suppliers involves both the purchase price and all other costs associated with the acquisition during its life cycle such as investment cost, transportation cost, procurement and inventory. The annual turnover of employees is the loss of talent in the workforce overtime. Every supplier will experience some turnover. When a supplier has high employee turnover, it risks impacting the profitability of its organization, the culture and the productivity. Most supply chain managers spend a lot of their time looking for ways to reduce costs and employee turnover rate. So, the annual costs and annual turnover of employees are considered as inputs. According to a report from Organization for Economic Co-Operation and Development (OECD) published in 1997 the environmental costs are costs connected with the actual or potential deterioration of natural assets due to economic activities.

Fig. 2
figure 2

The visual description of Resin sustainable supply chain

Such costs can be viewed from two different perspectives, namely as (a) costs caused, that costs associated with economic units actually or potentially causing environmental deterioration by their own activities or as (b) costs borne, that is, costs incurred by economic units independently of whether they have actually caused the environmental impacts. That is why the environmental costs have been considered as input. The intermediate products from the supplier to manufacturer are the number of trained personnel in the fields of work, safety and health, and the number of products from the supplier to the manufacturer. The outputs of stage 2 are the number of Resin products, the number of green products (environmental sustainability) and income (economic sustainability). Resin products are food packing, plastic trinket, toys and industrial products and so on. Green products have gained increasing attention because of their environmental friend lines in the green manufacturing process, low emissions in use, recyclability and so on. Table 1 reports used factors and notations. Inputs, outputs and links (intermediate products) value of each company is shown in Table 2. Manufacturer (stage 2) ordered supplier (stage 1) to train the specialists and prepare products needed to produce green products, reduce pollution and upgrade its technical knowledge. Therefore, intermediate products play the role of inputs for second stage. According to the different scenarios introduced based on the role of intermediate products, scenario1 which is called "Intermediate products value control via the second stage" should be applied in the link between Resin companies.

First, strong efficient and inefficient companies for determining the congested units are achieved through Model (3). The optimal value of objective function Model (3) is shown in Table 3 for all companies.

According to Definition 3.1, companies whose optimal value of objective function Model (3) is equal to zero are strong efficient units else they are inefficient. Results show, except DMUs 1, 2, 8, 14, 15 and 20, which are inefficient, the rest of them are strong efficient. We solved Models (4) and (5) for strong efficient companies to find out congested DMUs. For each company, the optimal objective value and optimal solutions of Model (4) are given in Table 3. The optimal objective value of Model (4) for DMU6 and DMU17 is 0.21 and 0.77, respectively, and for other companies is zero. Therefore, the only company evidence strong congestion in their intermediate products are DMU6 and DMU17. Moreover, the optimal solution of model (4) for DMU6 is \(({\varvec{\upbeta ,\upgamma }}) = (1.71,0.21,0.21,0.21,0.21) > {{\bf{0}}_{2 + 3}}\) which indicates there exists an observed activity belongs to the production technology with more outputs and less intermediate products compare with DMU6. Therefore, according to definition 3.2, DMU6 evidenced "strong congestion" in intermediate products. In addition, the optimal solution of model (4) for DMU17 is \(({\varvec{\upbeta ,\upgamma }}) = (2.38,3.e + 1,1.e + 2,0.77,0.77) > {{\bf{0}}_{2 + 3}}\). DMU17 is strongly congested too. To find weakly congested companies, Model (5) was solved for strong efficient units. The optimal objective value and the optimal solutions of Model (5) are given in Table 3. Results express that only DMU3 has weak congestion in intermediate products among strong efficient companies. Its optimal objective function value and the optimal solutions are 7.1e + 2 and \({\varvec{\upgamma }} = (0,0.48,7.e + 2) > {{\bf{0}}_3}\), respectively. It means, there exists an activity that produces more outputs by consuming less or equal intermediate products (inputs) compared with DMU3.

Therefore, DMU6, DMU17 and DMU3 can improve their efficiency and performance by reducing their demands and orders to its supplier stage.

Briefly, out of 20 companies, only three of them are inefficient and the rest of them are strong efficient. Among strong efficient units, DMU6 and DMU17 evidence strong congestion and DMU3 is weakly congested. Eventually, in terms of obtained results, Resin sustainable supply chains are doing well.

5 Conclusions

A Supply Chain (SC) is a network responsible for supplying materials, delivering materials to agents and delivering final products to customers. Sustainability in Supply Chain (SSC) as a new and influential sector attracts the attention of supply chain management professionals and environmental lovers. Therefore, SSC focuses on three aspects: social, economic and environmental aspects in a SC. One of the most suitable methods to assess the efficiency of sustainable supply chain is Data Envelopment Analysis (DEA).

In conventional DEA models, the internal structures of a supply chain are ignored and supply chain is considered as a single process (supply chain as a black box). DEA approach to evaluate the efficiency of supply chain with a network structure is called Network DEA (NDEA). Some NDEA approaches have been suggested to assess the performance of supply chains. Unfortunately, presence of congestion in sustainable supply chain reduces the efficiency and performance. Some studies have been done in this field to determine the congestion of intermediate products but none of them indicate the role of intermediate products (links) value in their methods and only consider one scenario. Now, in this research we considered a two-stage supply chain and identified four scenarios which congestion can occur in intermediate products: intermediate products value control via the second stage, intermediate products value control via both stages (Non-cooperative), intermediate products value control via both stages (cooperative) and intermediate products value control via no stages (Non-cooperative). In each mentioned scenarios we developed the dominant cone definition in network structure, and proposed NDEA models to find out the status of congestion in terms of the power of intermediate products, for the first time. Finally, 20 Iranian sustainable supply chains of Resin manufacturing companies have been used to demonstrate applicability of the proposed models. Each of companies is considered as a two-stage supplier chain. Stage 1 as a supplier and stage 2 as a manufacturer. In this applied example, second stage orders to stage 1 for training skilled personnel and providing essential products to improve its outcome and efficiency. Therefore, intermediate products role are considered as inputs of stage 2 that related to scenario 1 which was named link control by the second stage. We first determined the strong efficient companies by solving NDEA model and defined a dominant cone in network structure. Then we proposed two bi-level models which were converted to LP models easily and the status of intermediate products congestion of strong efficient companies were obtained. The results show that out of 20 companies, companies 1,2,8,14 and 15 are inefficient and the rest of them are strong efficient. For strong efficient companies, we applied Models (3) and (4) presented in scenario 1 to determine the "strongly" or "weakly" congested units. The Results show that only companies 6 and 17 should reduce the amount of both intermediate products to achieve the maximum value in both outputs. The others by using professional experts and modern technology have acceptable performance and done well.

In this study, proposed models can persuade supply chain managers in planning sustainable policies. In addition, suggested models allow mangers, environmentalist and eco-fan society monitor the state of environment under the influence of industrial operations along with discovering congested sustainable supply chains according to the role of intermediate products.

To confirm the suggested models, a case study was discussed. The contributions of this study are as follows:

  • To explore the intermediate product congestion of two-stage network structures, four scenarios are identified in terms of the role of intermediate products.

  • By developing the dominant cone definition in network structure and proposing two novel NDEA models in each scenario, the congestion status of intermediate product is detected more accurately than previous studies.

  • Improvement strategies are suggested for congested DMUs according to the role of intermediate product lead to improved performance and efficiency of DMUs.

Further researches can be done based on the results of this paper. Some of them can be mentioned as follows:

  • The same models can be developed in the presence of fuzzy or interval data.

  • Identifying the congested sustainable supply chain with multiple stages for future development.

  • External inputs and outputs can be considered for each stage in a multi stages sustainable supply chain.

Table 1 Used factors and notations
Table 2 Inputs, outputs and link value of 20 Resin sustainable supply chains
Table 3 The results of Models (3), (4) and (5)