Analysis of a sewage treatment facility using hybrid Petri nets

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    14 Citations (Scopus)
    65 Downloads (Pure)


    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.
    Original languageUndefined
    Title of host publicationProceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2013
    Place of PublicationNew York
    PublisherAssociation for Computing Machinery
    Number of pages10
    ISBN (Print)978-1-936968-48-0
    Publication statusPublished - Dec 2013
    Event7th International Conference on Performance Evaluation Methodologies and Tools 2013 - Torino, Italy
    Duration: 10 Dec 201312 Dec 2013
    Conference number: 7

    Publication series



    Conference7th International Conference on Performance Evaluation Methodologies and Tools 2013
    Abbreviated titleVALUETOOLS 2013
    Internet address


    • EWI-24179
    • sewage treatment facility
    • METIS-302584
    • Survivability analysis
    • IR-89266
    • Stochastic Hybrid Petri-nets

    Cite this