In this paper we propose a formal, model-checking based procedure to evaluate the survivability of fluid critical infrastructures.

In this paper we propose a formal, model-checking based procedure to evaluate the survivability of fluid critical infrastructures.

In this paper we propose a formal, model-checking based procedure to evaluate the survivability of fluid critical infrastructures.

An efficient model checking procedure is presented which recursively traverses the underlying state-space of the hybrid Petri net model, and identifies ...

Dec 2, 2013 · In this paper we propose a formal, model-checking based procedure to evaluate the survivability of fluid critical infrastructures.

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

This paper models a real waste water treatment facility, situated in the city of Enschede, the Netherlands, with Hybrid Petri nets with general transitions.

A hybrid Petri net formalism that is specifically tailored towards so-called fluid critical infrastructures is introduced, allowing for timed, ...

Survivability evaluation of fluid critical infrastructures using hybrid Petri nets. H Ghasemieh, A Remke, BR Haverkort. 2013 IEEE 19th Pacific Rim International ...

A hybrid Petri net formalism that is specifically tailored towards so-called fluid critical infrastructures is introduced, allowing for timed, ...