Safety Analysis Using Petri Nets.
Nancy G. LevesonJanice L. StolzyPublished in: IEEE Trans. Software Eng. (1987)
Keyphrases
- petri net
- safety analysis
- nuclear power plant
- safety critical
- control system
- symbolic model checking
- fault model
- manufacturing systems
- colored petri nets
- discrete event systems
- fuzzy petri net
- model checking
- fault tolerant
- reliability analysis
- information systems
- partial observability
- service composition
- control scheme
- fuzzy rules
- rough sets
- machine learning