Reliability and Performance Measurement of Safety-Critical Systems Based on Petri Nets: A Case Study of Nuclear Power Plant.
Nand Kumar JyotishLalit Kumar SinghChiranjeev KumarPooja SinghPublished in: IEEE Trans. Reliab. (2023)
Keyphrases
- safety critical
- nuclear power plant
- petri net
- safety analysis
- formal methods
- fault tolerant
- embedded systems
- agent architecture
- support systems
- adaptive systems
- neural network
- intelligent systems
- control system
- user interface
- real time
- domain independent
- load balancing
- knowledge based systems
- object oriented
- decision making