Formal model-based quantitative safety analysis using timed Coloured Petri Nets.

Daohua Wu Wei Zheng

Published in: Reliab. Eng. Syst. Saf. (2018)

Keyphrases

safety analysis
coloured petri nets
formal verification
symbolic model checking
safety critical
nuclear power plant
formal methods
control system
fault model
petri net
model checking
formal specification
model checker
real time
knowledge base
domain independent
reliability analysis
fuzzy logic
cooperative