Performance evaluation of concurrent systems using timed petri nets
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A Simple GSPN for Modeling Common Mode Failures in Critical Infrastructures
HICSS '03 Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9 - Volume 9
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
Hi-index | 0.00 |
Safety assessment of the infrastructures in a network can be predicted using the extended Petri-Net analysis. The analysis has been applied to a system of floodplain infrastructures consisting of power generating infrastructures, e.g., water storage concrete gravity dam, penstock, power plant and transformer substation. The dam overflow event is deterministic in the network which consequently impacts the operating conditions of the other interdependent infrastructures. The reachability graph has been constructed to generate transition probabilities of different states with which the Markov Chain is developed to find the steady state probability. The obtained results are convincing showing that the shutdown of the infrastructures mostly stems from floodwater exposure.