"Coloured Petri nets and a dynamic reliability problem" . "360378" . . "Journal of Risk and Reliability" . "Dynamic reliability problem; Petri Nets; Maintenance action"@en . "Barevn\u00E9 Petriho s\u00EDt\u011B a probl\u00E9m dynamick\u00E9 spolehlivosti"@cs . . . "P(1ET401940412)" . "Coloured Petri nets and a dynamic reliability problem"@en . "4" . "\u0160k\u0148ou\u0159ilov\u00E1, Petra" . "27240" . . . . . "1748-006X" . "8"^^ . . . "One of the major problems of the system reliability calculation is an implementation of a dynamic behaviour. One way of a possible representation of dynamic systems is the usage of 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 the 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 the 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 the time). The CSPNs approach is used for finding the suitable repre" . "2"^^ . . "1"^^ . "Barevn\u00E9 Petriho s\u00EDt\u011B a probl\u00E9m dynamick\u00E9 spolehlivosti"@cs . . "Coloured Petri nets and a dynamic reliability problem"@en . . "GB - Spojen\u00E9 kr\u00E1lovstv\u00ED Velk\u00E9 Brit\u00E1nie a Severn\u00EDho Irska" . . "[99E828965D5F]" . "One of the major problems of the system reliability calculation is an implementation of a dynamic behaviour. One way of a possible representation of dynamic systems is the usage of 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 the 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 the 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 the time). The CSPNs approach is used for finding the suitable repre"@en . "RIV/61989100:27240/08:00018863" . "222" . . "Jeden z hlavn\u00EDch probl\u00E9m\u016F v\u00FDpo\u010Dtu spolehlivosti syst\u00E9mu je implementace dynamick\u00E9ho chov\u00E1n\u00ED. Jeden z mo\u017En\u00FDch zp\u016Fsob\u016F reprezentovace chov\u00E1n\u00ED dynamick\u00FDch syst\u00E9m\u016F je pou\u017Eit\u00ED barevn\u00FDch Petriho s\u00EDt\u00ED. Tento zp\u016Fsob je v p\u0159\u00EDsp\u011Bvku pou\u017Eit a aplikov\u00E1n pro v\u00FDpo\u010Det benchmarkov\u00E9ho dynamick\u00E9ho syst\u00E9mu z referen\u010Dn\u00ED literatury-n\u00E1rd\u017E s tekutinou a t\u0159emi hardwarov\u00FDmi komponentami. Syst\u00E9m je d\u00E1le modifikov\u00E1n zaveden\u00EDm \u00FAdr\u017Eby a p\u0159id\u00E1n\u00EDm dal\u0161\u00ED procesn\u00ED prom\u011Bnn\u00E9, kterou je teplota. Jsou vypo\u010Dteny spolehlivostn\u00ED charakteristiky syst\u00E9mu."@cs . . "Coloured Petri nets and a dynamic reliability problem" . "Bri\u0161, Radim" . "RIV/61989100:27240/08:00018863!RIV09-AV0-27240___" .