Safety Analysis Using Coloured Petri Nets.
Seung Mo ChoHyoung Seok HongSung Deok ChaPublished in: APSEC (1996)
Keyphrases
- coloured petri nets
- safety analysis
- formal verification
- symbolic model checking
- control system
- nuclear power plant
- safety critical
- model checking
- fault model
- model checker
- reliability analysis
- neural network
- decision support system
- artificial intelligence
- distributed systems
- fault tolerant
- formal methods
- partial observability
- information systems