Exploiting Virtual Elasticity of Manufacturing Systems to Respect OTD—Part 2: Post-Optimality Conditions for the Cases of Ergodic and Non-Ergodic Order Rate with Deterministic Product-Mix

Respecting the on-time delivery (OTD) for manufacturing orders is mandatory. However, for non-JIT Batch & Queue Push-manufacturing systems, the compliance of OTD is not intrinsically guaranteed. As an OTD related manufacturing theory is largely missing it is crucial to understand and formalize the necessary conditions of OTD compliance for complex production environments for maximum exploitation of the production capacity. This paper evaluates the conditions of post-optimality while being OTD compliant for production systems, which are characterized by stochastic order rate and a deterministic product-mix. Instead of applying discrete event simulation to explore the real case-by-case order scheduling optimization for OTD compliance, a Cartesian approach is followed. This enables to define theoretically the solution space of order backlog for OTD, which contributes to developing further manufacturing theory. At the base stands the recently defined new concept of virtual manufacturing elasticity by reducing lead-time to increase virtually production capacity. The result has led to defining additional two corollaries to the OTD theorem, which sets up basic OTD theory. Apart from defining the post-optimal requirements to guarantee for orders at least a weak solution for OTD compliance, this paper reveals that for a deterministic product-mix a non-ergodic order arrival rate can be rescheduled into an ergodic order input rate to the shopfloor if the virtual elasticity ∆T is large enough, hence the importance of having fast and flexible production lines. How to cite this paper: Rüttimann, B.G. and Stöckli, M.T. (2021) Exploiting Virtual Elasticity of Manufacturing Systems to Respect OTD—Part 2: Post-Optimality Conditions for the Cases of Ergodic and Non-Ergodic Order Rate with Deterministic Product-Mix. American Journal of Operations Research, 11, 141-165. https://doi.org/10.4236/ajor.2021.113009 Received: March 5, 2021 Accepted: May 11, 2021 Published: May 14, 2021 Copyright © 2021 by author(s) and Scientific Research Publishing Inc. This work is licensed under the Creative Commons Attribution International License (CC BY 4.0). http://creativecommons.org/licenses/by/4.0/


Introduction and Approach to the Problem
As the fulfillment of customer requirements for product quality, the on-time delivery (OTD), which is the punctual delivery of manufactured products, is essential for a customer-satisfaction sustainable business. The OTD requirement can be considered as fulfilled, if deliveries match the expected delivery time (EDT)-the jointly agreed date of delivery. Whereas a widely used key metrics to calculate OTD exists, which is the ratio of goods delivered to customers on time related to the total goods deliveries, the necessary and sufficient conditions for OTD compliance have not yet been a topic of mainstream manufacturing theory. Indeed, this apparently trivial, but important objective has rarely been researched. The reason is simple: progressing simulation of complex manufacturing systems has prevented the development of such a theory. With a series of papers, we intend to bridge this gap. This paper is a generalization of a previous paper [1], which examined the post-optimality conditions to comply with the OTD requirement for time-bound order rate (OR) above production capacity with deterministic or mainly ergodic order-arrival characteristic for a single mono-product manufacturing. A manufacturing theory textbook evoking the topic of OTD is [2]. It is the first textbook approaching systematically the topic of OTD from a theoretic, law-based view defining the necessary and sufficient conditions for OTD in a mono-product manufacturing system. With the present paper we extend the problem setting by developing the post-optimality conditions for OTD of a multi-product manufacturing system showing a predominant non-ergodic stochastic arrival OR characteristic, however, with a deterministic product-mix. This topic is of high interest in view of forthcoming graph-based and artificial intelligence (AI)-controlled new cyber physical production systems (CPPS). This paper analyses and allows fully understanding the preconditions for OTD of a highly non-ergodic process within a non-deterministic product-mix production environment. Indeed, the OTD topic has not yet been examined analytically, but the solution is usually hands-on simulated at the occasion of real order scheduling.
In [1] were expanded the necessary and sufficient conditions for OTD, basic conditions defined with the OTD theorem in [2], with post-optimality conditions enouncing two additional corollaries. It reveals that a temporary (during ∆t) higher OR than the exit rate (ER) of a production system in a fix capacity regime can be backlog-buffered and rescheduled according to the difference ∆T of expected delivery time (EDT) and the process lead time (PLT). Due to this, the process is OTD compliant. The ∆T is the virtual manufacturing elasticity leading to increased capacity, which has been defined in [1]. The increased capacity is only virtually increased and not physically. Physical nominal production capacity ER is still given by the cycle time CT b at the bottleneck. The virtual elasticity, however, allows supplying the customer order exceeding bottleneck-capacity still on time. This reveals the importance of fast lean manufacturing lines reducing PLT. Two cases were distinguished and have been solved for deterministic mono-product OR (Equation (1)) and for stochastically variable ergodic OR process (Equation (2)), with post-optimality of ( ) where the variable ( ) x t represents a deterministic, but time-bound variable OR and ( ) , x t τ represents a stochastic OR with variable inter-arrival time τ, the λ represents the constant ER which should be in line with the average OR. The findings of the paper also have led to enounce the Second Corollary to the Theorem of General Production Requirement (Corollary of Strong and Weak OTD Solutions) formulating the necessary and sufficient condition for a strong OTD solution for Equations (1) and (2) [1]: Second Corollary to the Theorem of General Production Requirements (Corollary of Strong and Weak OTD Solutions): Given is an order rate with generally random arrival character within a fixed-capacity regime. Necessary and sufficient condition for a strong OTD solution is the ergodic characteristic of a stochastic order process paired with symmetric distribution of order rates of the random OR variable and if they comply with the requirements of the OTD theorem. However, non-ergodic processes with erratic arrivals, or ergodic processes with asymmetric random distributions of order rate, constitute only a weak solution for OTD observance, observance depending on the specific circumstances. The circumstances are the distribution of arrivals, the sequence of arrivals, and timespan of non-randomness, as well as dependency on the virtual elasticity of the production system.
It is important to note that the problem of post-optimality does not represent a topic of interest in TPS-derived perfect lean just-in-time (JIT) production systems, because the product-mix and OR are deterministically known and therefore the manufacturing system can be conceived and implemented accordingly to meet the OTD requirement. This is not only important, but also interesting and shows the sophisticated functioning of the Toyota JIT production system. A rational and formalised scientifically founded description of the JIT production system, as well as basic manufacturing theorems, have been developed in [2] defining production-related laws and implementation principles. The JIT production system relies mainly on a make-to-stock production principle. TPS-derived lean JIT productions base on pull manufacturing principle with one piece transfer principle forming a perfect single piece flow (SPF) and shows an even OR, called takt rate (TR) with ideally SD[TR] = 0, which corresponds to a deterministic order regime. Furthermore, the Toyota JIT lean production system relies on a deterministic and predefined product-mix leading to ergodic-type of processes. In addition, manufacturing batches produced in multi-product manufacturing cells (mixed model) are standardized in equal timeslots called pitches to reduce Mura (unevenness), while the production-mix is alternated using Heijunka-box levelled scheduling. This allows having all products, but also all necessary intermediate components along the manufacturing sequence, ready to be assembled according to customization specification and finally supplied to the next workstation, or delivered to the customer, nearly instantaneously. Taiichi Ohno (Toyota), the father of the JIT production system, extended Henry Ford's mass production into a flexible production system. However, a perfect smooth running JIT system bases on a differentiated, but deterministic product-mix, which, nevertheless, can be flexibly called-off.
In this paper we will analyse the OTD compliance for a deterministic product-mix, which ideally should be manufactured, under ideal conditions, using a lean JIT-based pull manufacturing system and not a batch and queue (B & Q) system. However, we will analyse the consequences to a traditional push B & Q manufacturing system, without dealing immediately with stochastic product-mix variability of envisaged CPPS. This intermediate step of analysis allows understanding the requirements to pay attention for the omnipotent CPPS, Industry 4.0 manufacturing system characterized by non-ergodic order processes with stochastically variable product-mix. In the following, we will apply the same approach, which has already been used in the paper [1]. That paper mainly dealt with the elasticity topic of production systems, i.e. the insensitivity of cost-change to production volume change. In the present paper, we will not yet consider the flexibility topic, i.e. the insensitivity of cost-change to production mix variability, applied for OTD compliance. This in order not to explode the complexity of the topic to be modelled-it will be the topic of a next paper. Similar to the distinction of experimental and theoretic physics, in the following, we will not employ the usually applied discrete event simulation (DES) technique to gain insights, but continue to derive the development of the solution to the problem based on analytic law-based production theory, approach defined for the first time in the modern manufacturing theory textbook [2]. This scientific-theory approach bases on solid production theorems and corollaries related to manufacturing laws. Indeed, instead of exploring the behaviour heuristically by simulation, or even worse empirically by trial and error, a Cartesian-based approach allows understanding the intrinsic functioning of a production system to get a formalized description of the laws governing OTD.
This topic is highly innovative and not yet researched. The reason is linked to the lack of a mathematical definition of OTD, given only in 2017 with the OTD theorem [2], which states the necessary and sufficient condition to supply an order on time: Theorem of General Production Requirements (or OTD Theorem): The necessary and sufficient conditions to supply a customer with OTD, i.e. with the right quantity at the right time, is that first the capacity requirement and second the lead time requirement have to be satisfied simultaneously, independent of the applied transfer principle, i.e. SPF or B & Q.
The capacity requirement is given by the Corollary of Weak WIP Stationarity and the lead time requirement necessitates that MLT plus BWT is shorter than EDT.
We have reported here again the OTD theorem, because it is central to the present problem development and is generally one of the most important theorems for manufacturing on which further corollaries can be derived.

A Little Bit More Theory and Preliminary Assumptions
In the following, we analyse arrival processes of OR cases with increased complexity and variability leading to non-ergodic processes. Analysing a manufacturing system, the full attention has to be put on the bottleneck. Remembering the Bottleneck Theorem for a mono-product manufacturing line, the bottleneck is the machine or, general speaking, the operation with the longest cycle time (CT) determining the exit rate (ER) of the production line. For a detailed examination of the concept of bottleneck and related theorem and corollaries, we refer to [2]. Due to the presence of a product-mix, requiring flexible production equipment, we cannot rely anymore on the Second Corollary to the Theorem of Throughput (Corollary of Bottleneck Time-invariance) valid for a mono-product manufacturing process. Indeed, a product-mix entails that the ER might change. Also the Theorem of Throughput (or Bottleneck Theorem) has to be extended and the concept of bottleneck-equipment has to be redefined when a mix of products are manufactured on shared equipment leading to the Theorem of Generalized Throughput (or WTT-Aggregated Bottleneck Theorem) [2]. This is also valid for the bottleneck cell within a complex inter-linked production of various manufacturing cells. To identify the bottleneck workstation, or bottleneck cell, of a mixed-production we have to introduce the concepts of workstation turnover time (WTT) and cell turnover time (CTT). The WTT is the time to produce once the whole mix and can be identified with WTT m,K where m identifies the specific machine (workstation) and K represents the products manufactured on the workstation. The WTT m,K is defined for the m th workstation with the product-mix of K products in Equation (3) where the capital K refers to the mix of products and the minor k to the specific product where ST m,k means set-up time of the workstation m for the k th product and CT m,k is the cycle time of the m th workstation for the k th product and B k is the batch-size of the k th product. For a detailed examination of the concepts of WTT and CTT, we refer again to [2]. The introduction of WTT is required for a deterministic product mix to identify the bottleneck workstation. In the case of non-deterministic product mix, the bottleneck does not only change dynamically (see the corollary reported hereafter), but the definition of WTT makes less sense, because of the difficulty to define the mix. For the definition and calculation of CTT we refer to [2]. We have to anticipate that the concept of manufacturing cell makes mainly sense for standard or standard-like components of a defined mix. Indeed, all the products to be manufactured within the same cell have to follow a defined sequence of operations according to the Theorem of Cell Product Congruency (or Linear Dependency Theorem) or to the Corollary to the Theorem of Cell Product Congruency (Corollary of Imperfect Dependency) [2].
Theorem of Cell Product Congruency (or Linear Dependency Theorem): Necessary condition to put similar but different products undergoing the same treatments/operations into the same manufacturing cell is that the cycle times CT mk elements of the cell matrix have to be linearly dependent.
A manufacturing cell or transfer line (TFL) constitutes a "productive capacity" suitable for LMHV (low mix high volume) production best represented by a flowshop organization. For high variable mix including one-offs (HMLV) a "technological competence" is required with variable production paths between the workstations (jobshop organization) such as envisaged by CPPS-organised shopfloor, workstations which have to be served by AGVs (Automatically Please note, the exit rate ER of the cell is still given by the workstation with longest CT i|k processing a certain product. ( ) For the case of a production line applying an n-piece transfer principle leading to an n-piece flow (nPF) consult [2] for the equations to calculate the MLT nPF variant. A complete derivation of equations and transformations between PLT and MLT for the different transfer principles is given in [2]; we repeat here only important conclusions. Equation (4) shows that the bigger the batch B k of product k is and the more workstations or machines m have to be used to manufacture the product, the bigger becomes the difference between MLT and PLT, hence the fundamental importance to use the MLT concept of lead-time in this case. In addition, MLT SPF is always shorter than and lemma [2]. Stressing the importance of delivering the entire batch completely is represented also by the enlarged concept of OTD stating "on-time-in-full" deliveries (OTIF). This entails that we cannot use the OTD equation system used in [1], but we have to use equation system 5 substituting PLT with MLT derived from the Theorem of General Production Requirements (or OTD Theorem) giving the necessary and sufficient conditions for OTD compliance. [ The index Z in Equation (5b) indicates the order entry point of the process from which the customer perceives the lead-time, called customer visible time (CVT). Therefore, the whole PLT (or MLT) starting from the raw materials might differ from the CVT. Typically, the entry point Z could be a customization operation buffered with up-stream standard components supermarkets.
Another complication in the analysis of a realistic order situation compared to the simplistic mono-product manufacturing analysed in [1] is that in a multi-product environment each order refers to different products with different order sizes. Therefore, we have to add to the arriving OR distribution Χ k also the customer-related order information writing according to Equation (6) ( ) Each product order Ω k is characterized by a 3-tupel (or triple) where the index k refers to the specific product k. We can therefore claim that the entity "order" Ω k belongs to a 3-dimensional vector-space of complex data-range defined for non-negative numbers and distributions. Indeed, associated with each order Ω k is always the order quantity B k of the commercial order as well as an associated expected delivery time (EDT k ). The commercial order might be split in the case of lean JIT manufacturing in n sub-batches of size B k /n. Indeed, the Theorem of Lean Batch Sizing and its corollary, the Corollary of Cycle Time of a Mixed-Product Workstation, give the necessary conditions to assure the availability and timely replenishment of all products. However, we will assume to produce the ordered quantity in full as requested by classic customer orders (OTIF) with an entire batch transfer principle if not specified differently. This corresponds also to the traditional way, how Western companies produce and supply customers. If the OR is non-deterministic, to model the performance we have to add additional information to the OR variable X about the distribution of the inter-arrival time τ and the potential verification of non-random distribution represented by t leading to non-ergodic processes. The distribution of OR given by refers to the specific product k, the absence refers to the general order entry load without considering which product arrives. In this paper, we prefer to use the capital Greek symbol ( ) , X t τ over the Roman notation ( ) , x t τ used in the former paper (part 1) for single piece order to indicate a batch-dimension order-entry with product-mix. The order entry rate OR k has to be transformed into a shopfloor input rate IR k . If the release sequence of orders k Ω is not FIFO but rescheduled, we use the symbol the inter-scheduling time (i.e. the time between the product k is produced again) of the inter-arrival time , else we keep the arrival notation. We will perform also a brief comparison between the here analyzed B & Q behavior and the state-of-the-art lean JIT system, which is the ideal manufacturing system for such type of order and production regimes. We indicate with (τ) a stochastic (ergodic) and with ( )  deterministic PIT k , PIT and WTT together used to size Kanban supermarkets.
However, we have to precise that whereas the PIT is an internally defined and adapted production variable (usually constant) used to replenish timely the supermarkets based on external TR-based call-offs. Furthermore, related to the single product-pieces, manufacturing is a deterministically resulting consequence of scheduling the single pieces of the batch considering the applied work shift regime, which translates into a takt-time TT; we can therefore write TT k In Figure 2 it is shown that the PIT A of product A has a double reorder frequency than PIT of products B and C. In lean JIT manufacturing systems PIT should be a multiple of the pitch, hence the interest to reduce pitch. The pitch is a standard time-slot associated to a standard quantity (internal batch-size adapted to a manageable logistic transportation bin such as a pallet or another defined pack-out quantity). Note that pitch comprises set-up and processing time. Associated to the Theorem of Generalized Throughput for a Kanban-managed manufacturing cell is the Second Corollary to the Theorem of Generalized Throughput (Corollary of Frequency) and the Theorem of Lean Batch Sizing (or Optimal Batch Theorem) paraphrasing the driving variables of the manufacturing cell to replenish the supermarket on time. These facts show that lean manufacturing intends to bring non-ergodic order processes to deterministic production processes reducing by that complexity, facilitating or even eliminating production planning and allowing even a Cartesian-based description of production theory [2]. This shows that in presence of a deterministic mix the lean JIT pull manufacturing system should be preferred over a B & Q push manufacturing system, at least for the part of the production mix, which is deterministic.
To each order Ω k is unequivocally associated with a specific characteristic of the product k, which is the process mapping reflecting the required sequence of operations to manufacture the product. The sum of cycle times CT of non-necessarily ordered sequence represents its work content (WC), which can be either touch-time (manually) or processing-time (machining), in any case it is the Muda-free value-add time-content of the product without waiting or transportation time.  It is obvious that the WC can vary from product to product. We will simplify the problem by not allowing customization of product k so that WC k is a deterministic and time-invariant constant for each product. In such deterministic cases we can map production as a deterministic matrix representing the input for master capacity mapping of production for a defined product-mix (Equation (7)).
[ ] The rows of the production matrix P in Equation (7) represent the m machines (or generally the operations to be performed) and the columns the k products forming a matrix of non-necessarily quadratic order with dimension to identify the optimal production-mix * x to maximize margin contribution function T z c x = ⋅ . However, such "ex ante" optimization techniques, although delivering Pareto-efficient solutions, are inferior to "live" operational lean JIT manufacturing systems [3]. Indeed, the optimal "ex-ante" defined mix cannot be reproduced in reality. However, lean JIT production allows reacting to the instantly requested real product-mix.
If there is a modern cellular-organized manufacturing system, i.e. we have a complex manufacturing system with multiple manufacturing cells interconnected (semantically-correct speaking they are not interconnected, but de-coupled, because linked via Kanban-managed supermarkets) the matrix of Equation (7) can be split into several matrices of lower order (Equation (8)).
The different cells j may comprise the same type of machines m or product-specific different ones. The different matrix C j can even have the same products k if the cells j are manufacturing the product in components, which then are assembled in a separate cell.
In such cases of complex manufacturing the concept of bottleneck equipment computed with WTT m for each machine m of each cell j has to be widened defining the cell turnover time (CTT j ) for each cell j identifying the bottleneck cell of production [2]. The splitting of Equation (7)  : , (8) applies ideally for such products k if the CT mk of these products in Equation (7) are linearly dependent, then such similar products k can be put into the same manufacturing cell represented by Equation (8). These products obey to the before mentioned Theorem of Cell Product Congruency (or Linear Dependency Theorem) or to the Corollary to the Theorem of Cell Product Congruency (Corollary of Imperfect Dependency). Therefore, the big difference regarding matrix of Equations (7) and (8)  In the following, we will solve the problem of OTD regarding a single cell j according to Equation (8). Not only for JIT-managed production systems Equation (8) might be relevant; also for traditional B & Q manufacturing systems Equation (8) applies. However, although considering non-lean JIT manufacturing systems, we will base the following considerations on lean JIT-derived principles [2] applied to non-Kanban supermarket decoupled cell-type manufacturing.
In lean JIT manufacturing, the necessary number of equipment or workstations as well as number of required blue-collar operators to match with the market-imposed takt-time (TT) in order to be potentially on-time can be computed as follows Furthermore, it has to result (from Equation (5a)) written in the Markovian time-dimension that the CT at the bottleneck has to be shorter than the average market-imposed TT (Equation (12) According to the just enounced Corollary of Balanced Line, in lean JIT pull-manufacturing the CT m can be deterministically established and balanced-out by applying the de-bottlenecking principles, because also the TT is deterministic. The variable TT of Figure 2 is therefore an artificial construct, because it is the consequence of a stochastic OR and hence for each product k different and rather given by the product-specific necessary CT imposed by the equipment. Indeed, in push B & Q productions, the general, universal equipment usually has a functional-affinity oriented layout (similar equipment grouped into the same department) and a given speed of equipment. This translates according to the product in a resulting specific CT m,k for each product and machine, which usually is not balanced-out. If the affinity is product-oriented we get a pseudo-cell. In the case that the resulting , the instant capacity is not sufficient to process the workload forming a backlog (BL). And exactly in such cases, the post-optimality conditions come into play for the orders waiting in the backlog (BL) resulting in a backlog waiting time (BWT) defining the solution space of queued orders to comply with OTD. Now, we are able to define the post-optimality conditions for OTD of an ergodic or non-ergodic multi-product arrival process.
In general, adapting the conditions described in [1] developed for a mono-product, taking the second part of Equation (5), the condition to compute the virtual elasticity for OTD of a backlog (BL) with FIFO-based scheduling principle for a multi-product machine m becomes where ( ) ( ) Equation (14) represents a necessary condition of product k to be on time. (15) is not satisfied when respecting the FIFO scheduling principle, the OTD condition might be achieved by rescheduling the BL for product k according to a priority scheduling principle.

Equation (15) is the synthesized expression of Equation (14) and represents generally the post-optimality condition for OTD compliance, and is an extended interpretation of Equation (5b). If Equation
Therefore, we can now enounce the generalization of the OTD Theorem: Third Corollary to the Theorem of General Production Requirements (Corollary of Post-optimal Backlog Waiting Time): Given is a B & Q push-based single workstation or a multi-workstation process. The necessary, but not sufficient condition to supply an arrival-order Ω k for product k with batch-size B k complying with OTD can be generalized that the BWT k−1 has to be shorter than the inherent virtual elasticity ΔT k of the manufacturing system reflecting the post-optimality range of the solution.
Please note, this is only the necessary condition for OTD. If the capacity requirement of Equation (5) is not given, only a weak solution is possible. To have a strong solution depends again on the capacity, i.e. the ER, hence the importance to model the ER. Equations (1) and (2) remain of central importance. The virtual elasticity is defined by the First Corollary to the Theorem of General Production Requirements [1]. The generalization just stated by the third corollary is feasible, because the virtual elasticity ΔT contains the information of the OTD theorem. In the following, we will therefore put the attention on the BWT and how to model it. Please note that this implies that PLT and MLT remain constant. This can be assured by keeping WIP constant which is generally the case in SPF regimes, but has to be implemented for B & Q push systems (so-called CONWIP or generic pull systems).
In this paper we will try to analyze the problem to set the post-optimal conditions of maximum (or better to say upper limit) BWT while still observing OTD for mixed-product cells. We will apply the theory-derived findings of [1] to ergodic and non-ergodic order arrival processes to comply with the OTD requirement for mixed-production. It has to be noted again and explicitly that in lean JIT-managed pull production systems the problem of post-optimality does not exist. Indeed, the production is deterministically scheduled based on supermarket replenishment-pull. Nevertheless, the customer-order call-offs most probably are of non-ergodic characteristic. In fact, the supermarket de-couples demand and supply, which have different characteristics. Lean JIT-productions based on pull manufacturing principles are therefore asynchronous production systems and not, as often wrongly stated, synchronous. The TR imposes only the pace, but does not directly control the triggering! However, we will hereafter analyze the consequences of a stochastic OR to the production based on a classic Western push production such as represented by envisaged CPPS, which may continue to base mainly on traditional B & Q production systems.

Developing Post-Optimality Conditions for Complying with OTD
For solving the post-optimality conditions for on-time-delivery (OTD) compliance we have to analyze the specific capacity, i.e. the ER of the process. For that we will distinguish different cases. The simple cases for an arrival order process of a single product (mono-product manufacturing) have been analyzed in [1]. In that case, the arriving orders could have been a single order to produce one product or a single order to produce a batch of identical products, but always the same product. Therefore, the logic is the same, because the products to manufacture are identical and has not to be distinguished, i.e.  (1) and (2). It has to be remarked that general queuing theory only operates with the unspecified term "lot". The CT may refer to a single piece or a batch, which would correspond in our definition to MLT. In such a case, the transfer principle can only be batch-wise. Here, this simplification of non-distinction between single product and batch as well as batch or 1-piece transfer principle is not allowed.
However, in the case of a product-mix the arrival orders Ω k have associated its type of product as well as the order quantity (batch-size B k of the product k). In this paper, we will analyze two main cases: The first main case considers a multi-product manufacturing with stable deterministic product-mix resulting from an ergodic stochastic OR process. The second main case-increasing the complexity of the problem-we have still a deterministic product-mix of OR, however with a non-ergodic order process. Indeed, only the composition of the product-mix may change, but not the number and type of products of the mix, i.e. we treat the arrival cases of a deterministically established product-mix. Furthermore, we will distinguish the case of a single workstation and the case of several workstations grouped into a cell.

The Simplest Case of a Single Workstation
In this first case here, we analyze a single multi-product workstation. In such a case, the matrix of Equation (7) reduces to a row-vector with the deterministic product-specific manufacturing cycle times CT k of the k products on the machine m [ ] We assume that the order batch-size B k for the product k is fix and time-invariant, however we will assume they are not equal, i.e.
, and is passed as-is to the shopfloor. This is an important assumption, because we will not use a lean Heijunka-levelled scheduling to eliminate Mura (unevenness of B k ). Furthermore, we assume to have a fixed alternating sequence of the prod-   and therefore Equation system 17 leads to the important conclusion that ( ) If the arrival rate ( ) of Ω k respects the ordered WTT-composition, then the "between"-sample statistical-parameters of orders in the periodically recurring timeframe Δt WTT = do not change and the arrival process of orders Ω k is ergodic, i.e.
Furthermore, the ( ) Figure 3 is the product-independent arrival rate of the single product arrival rates The resulting average performance, intended as nominal ER of a multi-product workstation m, is given by Equation (18), which reflects the real average ER performance of the workstation in the timespan WTT. We can call it nominal, because characteristic of the cell. In this case the WTT product/cell characteristic is invariant. Equation (18) defines a norm on the capacity, i.e. the physical ER of a multi-product equipment The nominal ER of the multi-product workstation in Equation (18) assumes to produce repeatedly the same product mix with the same on the workstation. The distinction of nominal (which for a multi-product machine is an average) and instant ER is also applicable in the contingent situation of modelling deterministic specific order arrivals to reduce complexity of infinitesimal representation. In the following, we will try to give an algebraic representation and solution to a dynamic system.
The BWT of Equation (19) is composed of a "waiting" BL and a BL being currently in the course to be "worked down" usually called WIP where Δt is the time already elapsed the product k = 1 being manufactured. In a FIFO organized waiting queue, order Ω k for product k has to wait until the BL is worked-down. Notice that the BL-waiting term of Equation (19) shows only apparent similarity to Equation (1): indeed, Equation (1) is a OR/ER comparison during a certain time-span whereas Equation (19) is a BL/ER ratio computing the time needed to work down a BL. Please note that Χ k are orders per time-unit; however λ k are pieces per time-unit. A piece-specific "takt" would be given by However, if the order frequency Χ k of Ω k is too high, the BWT k−1 may exceed the allowed ΔT k of Ω k to be supplied on time.

The Case of a Manufacturing Cell with Several Workstations
In this sub-section, we will analyze the post-optimality for OTD compliance for an order arrival process with a defined product-mix manufactured within a single manufacturing cell or transfer line (TFL) according to the matrix of Equation (8). We will omit in future "or TFL", being ideally a cell a TFL process in miniature. A manufacturing cell is the physical materialization of a process, which is a sequence of several logical steps (manual operations at workstations or machining operations on a workstation). The situation to be analyzed is described in Figure 4. In addition, we will suppose that a SPF is applied to the process. Indeed, according to the just before enounced Corollary of Balanced Line by applying the This shows very well, that it is not sufficient to reduce cycle times, and therefore also the work content, but also batch-size has to be reduced to shorten lead-time.
And exactly this is the aim of pitch-levelled Heijunka-box of the TPS to reduce Mura (unevenness). If the sequenced product-mix of orders (the scheduling order of the k products) remains stable in the time-dimension t, we have a perfect ergodic process. The instant ER k (t) of the cell for product k, which corresponds to the 1/CT mk of the cell or generally to the bottleneck workstation according to Equation ( where the cell turnover time (CTT) is similar to the WTT defined in Equation ( ) Please note that in a multi-station cell not the process lead-time PLT of a single product applies, but the MLT of the entire batch. Furthermore, the improvement potential exists to shorten the sum of ST starting already when the last piece of the batch has left the first workstation (during emptying set-up), or by parallelizing the ST. This leads directly to define an additional implementation principle: the Set-up Principle (after emptying set-up, during emptying set-up). To facilitate calculation, we will assume after emptying set-up principle (ST and MLT do not overlap, i.e.   (22) is an approximation; indeed, the next order may not wait until the last piece of the batch has left the last operation, but will enter the cell as soon as the last piece has left the first operation and the set-up of the first machine has been completed (during emptying set-up principle). This is less important in manually operated cells than in automatic high performance FMS TFL.

The Case of a Single Multi-Product Workstation
The before analyzed cases of product k-ordered arrival and input-sequence of Ω k is an artificial assumption for non-JIT productions. Now in this case we analyze the more realistic situation of random arrival of orders ( ) k t Ω of the different products of non-ergodic characteristic. However, we will maintain the fixed batch-size for every specific product of the still deterministic product-mix. This simple assumption at least allows to maintaining the important concept of WTT also for non Heijunka-levelled cells (or single workstations). Nevertheless, if the virtual elasticity ΔT is large enough (i.e. ΔT > WTT) the possibility exists to reschedule the random order entry by sequencing the input rate (IR) into the shopfloor according to the WTT composition to approach an ergodic process for the IR for timeframes ΔT > WTT. This important property leads directly to enounce a new corollary Forth Corollary to the Theorem of General Production Requirements (Corollary of Ergodic Backlog Rescheduling): Given is a non-ergodic OR with a deterministic product-mix manufacturing. If the virtual elasticity ∆T is large enough (ΔT > WTT), in certain cases the possibility exists to transform the non-ergodic OR in an ergodic IR with a defined scheduling sequence, trying at least to approach perfect ergodicity.  (29) gives the pseudo-nominal ER of the cell. We call it "nominal" due to the presence of the CTT in the denominator, and "pseudo", because in the nominator may not appear the corresponding batches of the CTT product-mix in the timeframe CTT. It is highly improbable to have in a non-ergodic order intake regime the materialization of the nominal ER, but not impossible. Due to the application of the just enounced Corollary of Ergodic BL Rescheduling, the possibility exists of rescheduling the orders for shopfloor release if the virtual elasticity is high enough approaching Equation (23). The desired characteristic of ergodicity translates into Toyota's Mura, i.e. reducing unevenness.
However, the average real ER of the cell in the generic time span Δt derived from Equation (27) is given by the real orders also in the denominator leading to

Outlook for Complex Manufacturing Systems
A complex manufacturing system (multi cell manufacturing) is a production system where different products are manufactured in several manufacturing cells or dedicated shopfloor departments (jobshops) producing a complex component or a final product. The multi-product cells may constitute different stages of the manufacturing process with increasing value-add content supplying a backbone TFL or being part of a graph-based organized shopfloor. We can therefore distinguish between a product-structured inter-linked cellular manufacturing and a manufacturing with a generic complex layout.
For the inter-linked cellular manufacturing there is no further complication due to the presence of Kanban-managed supermarkets decoupling the various manufacturing cells. The manufacturing cells are managed autonomously solely triggered by the withdrawals of the products (components) out of the supermarket. The backlog is limited by the production Kanbans in the Heijunka levelling box. The supermarket is a proof that lean JIT manufacturing is not a synchronous system-it bases on asynchrony by decoupling supply from demand.
However, JIS manufacturing systems are synchronous systems where the supply-cell is synchronized with the final assembly line (demand scheduled). By the way, the logic of Toyota's complexity reducing cell-fractional manufacturing has already been applied long time before by Roman emperors to govern complex territorial systems known as "divide et impera". Therefore, there is no need to further analyze the dynamic of lean JIT manufacturing systems.
However, a graph-modelled complex shopfloor which manufactures not only a single component, but a finished product has the task to control autonomously interacting, intelligent single objects (workstations, AGVs, components) along the whole flexible manufacturing path. Further challenges may arise regarding performance in terms of ER, MLT, and OTD in non-optimally conceived CPPS, trying to solve the quest of the optimal manufacturing process in its entirety.
Nevertheless, the new Lemma of Ergodic-independent Validity extends the applicability of the Corollary of Post-optimal BWT also to CPPS; this will be very important for OTD dynamic rescheduling. In addition, the here defined norm on the ER will allow the analysis of the performance of CPPS with its high non-ergodic commercial order characteristic. The OTD corollaries stand at the base of the predominantly B & Q driven CPPS trying to comply to customer OTD. JIT manufacturing systems guarantee intrinsically OTD, hence the superiority of the cell-fractional "divide et impera"-model allowing pull-JIT manufacturing. This tricky, but interesting topic of CPPS will be addressed in a later paper.

Conclusion
We have seen that the traditional Western large B & Q manufacturing combined with OTIF deliveries can compromise the OTD requirement for other products. However, the TPS JIT pitch-based pull-manufacturing has solved this problem for a deterministic product-mix. In this paper, we set the necessary and sufficient conditions to generalize the OTD theorem for a deterministic product-mix.
The Third Corollary to the Theorem of General Production Requirements (Corollary of Post-optimal BWT) giving only the necessary, but not sufficient condition for OTD has induced to define a normed ER to derive also the sufficiency condition for OTD in different production regimes. The norm has been defined for various "objects" (such as single workstations or manufacturing cells in presence of ergodic and non-ergodic order regimes) resulting in a space of normed nominal capacities which completes the Corollary of Post-optimal BWT with the sufficiency condition for OTD according to Equation (5). This allows structuring the generic manufacturing term ER (called departure rate in queuing theory). These findings are important, because gaining a rational law-based Cartesian insight into the theory of general OTD requirements for queued manufacturing systems also in view of future CPPS, allowing limitless product customization. As demonstrated, the virtual elasticity applies also for a mixed-product manufacturing with deterministic product-mix, independent of the ergodic order-arrival characteristic as the new enounced Forth Corollary to the Theorem of General Production Requirements (Corollary of Ergodic BL Rescheduling) states.
However, if OR processes are highly non-ergodic and show a non-deterministic product-mix, such as envisaged by Industry 4.0-type CPPS, the findings such as the new enounced Corollary of Ergodic BL Rescheduling as well as other conclusions elaborated in this paper may not be applicable and may need to be revised. This has to be further investigated. Nevertheless, the result of this paper gives insights into the manufacturing "physics" in presence of different commercial order-arrival characteristics and shopfloor implementation principles. It allows understanding the behavior and calculating the performance of a simple cell-type manufacturing system without computer simulation. And finally, the hypothesis of extended conditions for general OTD compliance has been proven in a deterministic product-mix push manufacturing environment.