Abstract:
A technique for describing a complex structural diagram of plants with progressive operations in the form of
a system of logical functions whose variables can be both aggregates of the transportation network of the plants and larger blocks, i.e., channels is proposed. A method for searching and eliminating potentially false paths of the system is devised as well as a method for taking into account specified constraints on the mutual operation of parallel channels.