Elements of Theory of the Correct Operations of Logistics Transforming Networks

In this paper, transformer logistics networks are treated as flow models of discrete manufacturing systems (FMDMS). The purpose is to formalize FMDMS into logical formulas called transformer functions. Transformer logistics networks are able to handle buffers and their production orders in a way that ensures full monitoring of the logic technology stored in the memory of a transforming network (t-network). The structural and functional complexity of the t-network makes it impossible to carry out formal proof of its proper functioning for any new order placement in buffers and transformers. This is because with the growing capacity in buffers, the number of available states of tnetworks also increases, and as such, the number of transformers and buffers unable to effectively generate new production orders that protect the t-network is also increasing. The problem therefore becomes to maintain t-network equilibrium technology that guarantees the continuity of the logical operations and processes of resource transformation.