This paper investigates the survivability of a water cleaning facility using Fluid Stochastic Petri Nets (FSPNs). Water cleaning facilities are responsible for providing drinking water to a specific district. The provided service is very important and makes such facilities belong to a nation's critical infrastructures. Therefore, such a facility should be able to recover in a timely manner after the occurrence of disasters. The use of FSPNs in survivability research is new and promising due to its general applicability. In this paper we model and analyze the survivability of of the last phases of the water cleaning process in a Dutch water company. Analysis results identify the weaknesses of the process and redundancy is suggested to improv...
More and more, our society and economy rely on the correct operation of, often hidden, critical infr...
International audienceProtection systems against natural phenomena in mountains are critical infrast...
Software systems experience gradual performance degradation due to several reasons and different pre...
Waste water treatment facilities clean sewage water from households and industry in several cleaning...
Waste water treatment facilities clean sewage water from households and industry in several cleaning...
In this paper we propose a formal, model-checking based procedure to evaluate the survivability of f...
Water distribution systems enable social and economic development and sustain people quality of life...
A benchmark on dynamic reliability taken from the literature is considered; though the behaviour of ...
A benchmark on dynamic reliability taken from Marseguerra & Zio (1996) is considered; though the beh...
Due to global climate change, nuclear power plants are increasingly exposed to the threats of extrem...
In this paper, we present a Fluid Stochastic Petri Net (FSPN) based model which captures the behavio...
Abstract—This paper introduces a new general methodology for the modeling and reliability evaluation...
International audienceMountain territories are remarkably exposed to natural phenomena such as torre...
A hybrid Petri net formalism that is specifically tailored towards so-called fluid critical infrastr...
International audienceMountain territories are remarkably exposed to natural phenomena such as torre...
More and more, our society and economy rely on the correct operation of, often hidden, critical infr...
International audienceProtection systems against natural phenomena in mountains are critical infrast...
Software systems experience gradual performance degradation due to several reasons and different pre...
Waste water treatment facilities clean sewage water from households and industry in several cleaning...
Waste water treatment facilities clean sewage water from households and industry in several cleaning...
In this paper we propose a formal, model-checking based procedure to evaluate the survivability of f...
Water distribution systems enable social and economic development and sustain people quality of life...
A benchmark on dynamic reliability taken from the literature is considered; though the behaviour of ...
A benchmark on dynamic reliability taken from Marseguerra & Zio (1996) is considered; though the beh...
Due to global climate change, nuclear power plants are increasingly exposed to the threats of extrem...
In this paper, we present a Fluid Stochastic Petri Net (FSPN) based model which captures the behavio...
Abstract—This paper introduces a new general methodology for the modeling and reliability evaluation...
International audienceMountain territories are remarkably exposed to natural phenomena such as torre...
A hybrid Petri net formalism that is specifically tailored towards so-called fluid critical infrastr...
International audienceMountain territories are remarkably exposed to natural phenomena such as torre...
More and more, our society and economy rely on the correct operation of, often hidden, critical infr...
International audienceProtection systems against natural phenomena in mountains are critical infrast...
Software systems experience gradual performance degradation due to several reasons and different pre...