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.
|Publisher||IEEE Computer Society|
|Conference||IEEE 12th IEEE International High Assurance Systems Engineering Symposium, HASE 2010|
|Period||3/11/10 → 4/11/10|
|Other||3-4 Nov 2010|