Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri nets.
Nazakat AliSasikumar PunnekkatAbdul RaufPublished in: J. Syst. Softw. (2024)
Keyphrases
- safety critical
- safety analysis
- formal methods
- colored petri nets
- nuclear power plant
- fault tolerant
- embedded systems
- agent architecture
- fault model
- support systems
- control system
- petri net
- symbolic model checking
- adaptive systems
- web services
- learning systems
- knowledge based systems
- information systems
- real time
- intelligent systems
- multi agent systems