A. Lisounkin (Germany)
Technical network, formal description, network algebra,
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 calcu
lus must be considered.
This paper is devoted to algebra-based modeling for tech
nical networks. The focus of the paper is on use of proc
ess 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.