Abstract

Waste water treatment facilities clean sewage water from households and industry in several cleaning steps. Such facilities are dimensioned to accommodate a maximum intake. However, in the case of very bad weather conditions or failures of system components, the system might not be able to accommodate all waste water. This paper models a real waste water treatment facility, situated in the city of Enschede, the Netherlands, with Hybrid Petri nets with general transitions, to analyse under which circumstances the existing infrastructure will overflow. Comparing to previous models an structural extension is proposed, and one limitation is tackled. First, we extended the hybrid Petri net formalism with guard arcs and dynamic continuous transitions, to be able to model dependencies on continuous places and the rates of continuous transitions. Secondly, we tackle the restriction of having only a single general transition, by proposing a new discretization method. We introduce to different discretization methods, and compare their efficiency in a complex case study. Using recently developed algorithms for model checking STL properties on hybrid Petri nets, the paper computes survivability measures that can be expressed using the path-based until operator. After computing measures for a wide range of parameters, we provide recommendations as to where the system can be improved to reduce the probability of overflow.
Original languageUndefined
Pages (from-to)36-56
Number of pages21
JournalPerformance evaluation
Volume97
DOIs
StatePublished - Mar 2016

Fingerprint

Petri nets
Wastewater
Water treatment
Model checking
Sewage
Cleaning
Water
Industry

Keywords

  • EWI-26718
  • METIS-315539
  • IR-99226

Cite this

Ghasemieh, Hamed; Remke, Anne Katharina Ingrid; Haverkort, Boudewijn R.H.M. / Survivability analysis of a sewage treatment facility using hybrid Petri nets.

In: Performance evaluation, Vol. 97, 03.2016, p. 36-56.

Research output: Scientific - peer-reviewArticle

@article{65f13f173c9b4bc69aca9aae5bc816f4,
title = "Survivability analysis of a sewage treatment facility using hybrid Petri nets",
abstract = "Waste water treatment facilities clean sewage water from households and industry in several cleaning steps. Such facilities are dimensioned to accommodate a maximum intake. However, in the case of very bad weather conditions or failures of system components, the system might not be able to accommodate all waste water. This paper models a real waste water treatment facility, situated in the city of Enschede, the Netherlands, with Hybrid Petri nets with general transitions, to analyse under which circumstances the existing infrastructure will overflow. Comparing to previous models an structural extension is proposed, and one limitation is tackled. First, we extended the hybrid Petri net formalism with guard arcs and dynamic continuous transitions, to be able to model dependencies on continuous places and the rates of continuous transitions. Secondly, we tackle the restriction of having only a single general transition, by proposing a new discretization method. We introduce to different discretization methods, and compare their efficiency in a complex case study. Using recently developed algorithms for model checking STL properties on hybrid Petri nets, the paper computes survivability measures that can be expressed using the path-based until operator. After computing measures for a wide range of parameters, we provide recommendations as to where the system can be improved to reduce the probability of overflow.",
keywords = "EWI-26718, METIS-315539, IR-99226",
author = "Hamed Ghasemieh and Remke, {Anne Katharina Ingrid} and Haverkort, {Boudewijn R.H.M.}",
note = "eemcs-eprint-26718 ; http://eprints.ewi.utwente.nl/26718",
year = "2016",
month = "3",
doi = "10.1016/j.peva.2015.11.004",
volume = "97",
pages = "36--56",
journal = "Performance evaluation",
issn = "0166-5316",
publisher = "Elsevier",

}

TY - JOUR

T1 - Survivability analysis of a sewage treatment facility using hybrid Petri nets

AU - Ghasemieh,Hamed

AU - Remke,Anne Katharina Ingrid

AU - Haverkort,Boudewijn R.H.M.

N1 - eemcs-eprint-26718 ; http://eprints.ewi.utwente.nl/26718

PY - 2016/3

Y1 - 2016/3

N2 - Waste water treatment facilities clean sewage water from households and industry in several cleaning steps. Such facilities are dimensioned to accommodate a maximum intake. However, in the case of very bad weather conditions or failures of system components, the system might not be able to accommodate all waste water. This paper models a real waste water treatment facility, situated in the city of Enschede, the Netherlands, with Hybrid Petri nets with general transitions, to analyse under which circumstances the existing infrastructure will overflow. Comparing to previous models an structural extension is proposed, and one limitation is tackled. First, we extended the hybrid Petri net formalism with guard arcs and dynamic continuous transitions, to be able to model dependencies on continuous places and the rates of continuous transitions. Secondly, we tackle the restriction of having only a single general transition, by proposing a new discretization method. We introduce to different discretization methods, and compare their efficiency in a complex case study. Using recently developed algorithms for model checking STL properties on hybrid Petri nets, the paper computes survivability measures that can be expressed using the path-based until operator. After computing measures for a wide range of parameters, we provide recommendations as to where the system can be improved to reduce the probability of overflow.

AB - Waste water treatment facilities clean sewage water from households and industry in several cleaning steps. Such facilities are dimensioned to accommodate a maximum intake. However, in the case of very bad weather conditions or failures of system components, the system might not be able to accommodate all waste water. This paper models a real waste water treatment facility, situated in the city of Enschede, the Netherlands, with Hybrid Petri nets with general transitions, to analyse under which circumstances the existing infrastructure will overflow. Comparing to previous models an structural extension is proposed, and one limitation is tackled. First, we extended the hybrid Petri net formalism with guard arcs and dynamic continuous transitions, to be able to model dependencies on continuous places and the rates of continuous transitions. Secondly, we tackle the restriction of having only a single general transition, by proposing a new discretization method. We introduce to different discretization methods, and compare their efficiency in a complex case study. Using recently developed algorithms for model checking STL properties on hybrid Petri nets, the paper computes survivability measures that can be expressed using the path-based until operator. After computing measures for a wide range of parameters, we provide recommendations as to where the system can be improved to reduce the probability of overflow.

KW - EWI-26718

KW - METIS-315539

KW - IR-99226

U2 - 10.1016/j.peva.2015.11.004

DO - 10.1016/j.peva.2015.11.004

M3 - Article

VL - 97

SP - 36

EP - 56

JO - Performance evaluation

T2 - Performance evaluation

JF - Performance evaluation

SN - 0166-5316

ER -