Hybrid Petri nets with general one-shot transitions for dependability evaluation of fluid critical infrastructures

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

    15 Citations (Scopus)
    107 Downloads (Pure)

    Abstract

    A hybrid Petri net formalism that is specifically tailored towards so-called fluid critical infrastructures is introduced, allowing for timed, generally distributed and fluid transitions. Such models are analyzed with Parametric Reachability Analysis, by separating the deterministic and the stochastic evolution of the system. Several performance metrics, such as the distribution of fluid over time, can be derived by deconditioning according to arbitrary continuous probability distributions. This efficient concept allows for the analysis of an arbitrary number of fluid places, as opposed to classical stochastic hybrid Petri net approaches. Moreover, validation of our results against the FSPN tool shows that parametric reachability analysis provides more accurate results. A case study motivates and shows the feasibility of our approach.
    Original languageUndefined
    Title of host publication12th IEEE International High Assurance Systems Engineering Symposium, HASE 2010
    Place of PublicationUSA
    PublisherIEEE Computer Society
    Pages84-93
    Number of pages10
    ISBN (Print)978-0-7695-4292-8
    DOIs
    Publication statusPublished - 1 Nov 2010
    EventIEEE 12th IEEE International High Assurance Systems Engineering Symposium, HASE 2010 - San Jose, USA
    Duration: 3 Nov 20104 Nov 2010

    Publication series

    Name
    PublisherIEEE Computer Society

    Conference

    ConferenceIEEE 12th IEEE International High Assurance Systems Engineering Symposium, HASE 2010
    Period3/11/104/11/10
    Other3-4 Nov 2010

    Keywords

    • IR-75311
    • CR-B.2.2
    • EWI-17082
    • METIS-276003

    Cite this