Interaction of process algebra and network algebra models for technical network supervision
Due to a dramatic increase of the complexity of technical facilities, supervision, diagnostics, and control tasks are becoming more and more the subject of formal modeling and simulation. Formal approaches use algebraic systems as the formal basis for modeling and model calculus. The use of heterogeneous modeling structures means, that different algebraic systems may be involved. Given this, interaction of the algebraic systems within a model calculus must be considered. This paper is devoted to algebra-based modeling for technical networks. The focus of the paper is on use of process algebra and network algebra systems in a common context, e.g. for the resource management task. The technique developed in this study has been used for modeling and supervision related to water, oil, gas, and electrical power distribution networks.