Evaluation of a benchmark on dynamic reliability via Fluid Stochastic Petri Nets

Daniele CODETTA RAITERI; BOBBIO Andrea

Evaluation of a benchmark on dynamic reliability via Fluid Stochastic Petri Nets

Daniele CODETTA RAITERI
, BOBBIO Andrea

Department of Science and Technological Innovation

Research output: Contribution to conference › Paper › peer-review

Abstract

The paper presents the evaluation of a benchmark on dynamic reliability. Such system consists of a tank containing some liquid, two pumps and one valve to renew the liquid in the tank, a heat source warming the liquid, and a controller acting on the state of the components. Three failure conditions are possible: the dry out, the overﬂow or the high temperature of the liquid. Due to the presence of continuous variables, such as the liquid level and temperature, the system is modelled as a Fluid Stochastic Petri Net which is the object of simulation obtaining the unreliability evaluation of the system.

Original language	Italian
Pages	52-55
Publication status	Published - 1 Jan 2005
Event	International Workshop on Performability Modeling of Computer and Communication System (PMCCS) - Turin, Italy Duration: 1 Jan 2005 → …

Conference

Conference	International Workshop on Performability Modeling of Computer and Communication System (PMCCS)
City	Turin, Italy
Period	1/01/05 → …

Cite this

@conference{0dca3178c51f450789c61fdbf4b99a0d,

title = "Evaluation of a benchmark on dynamic reliability via Fluid Stochastic Petri Nets",

abstract = "The paper presents the evaluation of a benchmark on dynamic reliability. Such system consists of a tank containing some liquid, two pumps and one valve to renew the liquid in the tank, a heat source warming the liquid, and a controller acting on the state of the components. Three failure conditions are possible: the dry out, the overﬂow or the high temperature of the liquid. Due to the presence of continuous variables, such as the liquid level and temperature, the system is modelled as a Fluid Stochastic Petri Net which is the object of simulation obtaining the unreliability evaluation of the system.",

author = "\{CODETTA RAITERI\}, Daniele and BOBBIO Andrea",

year = "2005",

month = jan,

day = "1",

language = "Italian",

pages = "52--55",

note = "International Workshop on Performability Modeling of Computer and Communication System (PMCCS) ; Conference date: 01-01-2005",

}

TY - CONF

T1 - Evaluation of a benchmark on dynamic reliability via Fluid Stochastic Petri Nets

AU - CODETTA RAITERI, Daniele

AU - Andrea, BOBBIO

PY - 2005/1/1

Y1 - 2005/1/1

N2 - The paper presents the evaluation of a benchmark on dynamic reliability. Such system consists of a tank containing some liquid, two pumps and one valve to renew the liquid in the tank, a heat source warming the liquid, and a controller acting on the state of the components. Three failure conditions are possible: the dry out, the overﬂow or the high temperature of the liquid. Due to the presence of continuous variables, such as the liquid level and temperature, the system is modelled as a Fluid Stochastic Petri Net which is the object of simulation obtaining the unreliability evaluation of the system.

AB - The paper presents the evaluation of a benchmark on dynamic reliability. Such system consists of a tank containing some liquid, two pumps and one valve to renew the liquid in the tank, a heat source warming the liquid, and a controller acting on the state of the components. Three failure conditions are possible: the dry out, the overﬂow or the high temperature of the liquid. Due to the presence of continuous variables, such as the liquid level and temperature, the system is modelled as a Fluid Stochastic Petri Net which is the object of simulation obtaining the unreliability evaluation of the system.

UR - https://iris.uniupo.it/handle/11579/19284

M3 - Contributo in Atti di Convegno

SP - 52

EP - 55

T2 - International Workshop on Performability Modeling of Computer and Communication System (PMCCS)

Y2 - 1 January 2005

ER -

Evaluation of a benchmark on dynamic reliability via Fluid Stochastic Petri Nets

Abstract

Conference

Other files and links

Cite this