Survivability evaluation of fluid critical infrastructures using hybrid Petri nets

Hamed Ghasemieh, Anne Katharina Ingrid Remke, Boudewijn R.H.M. Haverkort

Research output: Other contribution

23 Citations (Scopus)


In this paper we propose a formal, model-checking based procedure to evaluate the survivability of fluid critical infrastructures. To do so, we introduce the Stochastic Time Logic (STL), which allows to precisely express intricate state-based and until-based properties for an important class of hybrid Petri nets. We present an efficient model checking procedure which recursively traverses the underlying state-space of the hybrid Petri net model, and identifies those regions (subsets of the discrete-continuous state space) that satisfy STL formulae. A case study studying the survivability of a water refinery and distribution plant shows the feasibility of our approach.
Original languageEnglish
PublisherIEEE Computer Society
Number of pages10
Place of PublicationUSA
ISBN (Print)978-0-7695-5130-2
Publication statusPublished - Dec 2013
Externally publishedYes


  • EWI-24178
  • Survivability evaluation
  • IR-89265
  • METIS-302583
  • Fluid critical infrastructures
  • Model Checking
  • Hybrid Petri nets


Dive into the research topics of 'Survivability evaluation of fluid critical infrastructures using hybrid Petri nets'. Together they form a unique fingerprint.

Cite this