Coloured Petri nets and a dynamic reliability problem

Abstract

One of the major problems of the system reliability calculation is an implementation of a dynamic behaviour. One way to show a possible representation of dynamic systems is by using coloured stochastic Petri nets (CSPNs). In this paper this approach is applied to one benchmark on the dynamic reliability taken from the literature. The system consists of a tank containing some liquid where the liquid level is controlled by suitable detectors acting on three hardware components that work independently. The modelled system is consequently used as an input for the calculation of the cumulative distribution functions and other characteristics (e.g. reliability of the system). As the next step, this benchmark will be modified. The first system modification is the maintenance action inclusion. The second one is the enhancement of the system by adding another process variable (the liquid temperature within the tank that is dependent on time). The CSPN approach is used to find a suitable representative scheme of these modifications.