A Petri net model-based resilience analysis of nuclear power plants under the threat of natural hazards | Synapse