Process Algebra for Model Check and Simulation in Technical Networks

A. Lisounkin (Germany)


Technical networks, formal description, process algebra,model check.


This paper is devoted to algebra-based modeling and model verification techniques for technical networks. Aspects of structure verification and simulation of scal able resources are handled in particular. For this aim process algebra axioms with corresponding semantics were considered and adapted to meet the requirements of technical network modeling and simulation. Model engineering, verification, and simulation are consi dered in a common context, in which the engineering is responsible for model formalization and the simulation provide an interpreter structure used by the verification. The technique developed in this study has been used for modeling and model verification related to water, oil, gas, and electrical power distribution networks.

Important Links:

Go Back