Paper Info
Title
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 suffice to accommodate all waste water. This paper models a real waste water treatment facility, situated in the city of Enschede, The Netherlands, as Hybrid Petri net with a single general one-shot transition (HPnGs) and analyses under which circumstances the existing infrastructure will overflow. This required extending the HPnG formalism with guard arcs and dynamic continuous transitions to model dependencies both on continuous places and on the rate of continuous transitions. Using recent algorithms for model checking STL properties on HPnGs, 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.
Year
DOI
Venue
2013
10.4108/icst.valuetools.2013.254384
ValueTools '13: 7th International Conference on Performance Evaluation Methodologies and Tools Torino Italy December, 2013
Field
DocType
ISBN
Survivability,Petri net,Model checking,Computer science,Operations research,Sewage,Sewage treatment,Operator (computer programming),Guard (information security),Wastewater
Conference
978-1-936968-48-0
Citations 
PageRank 
References 
8
0.59
5
Authors
3
Name
Order
Citations
PageRank
Hamed Ghasemieh1595.96
Anne Remke217523.96
Boudewijn R. Haverkort31205117.45