Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems.
Ammar BoucheritLaura M. CastroAbdallah KhababaOsman HasanPublished in: Multiagent Grid Syst. (2020)
Keyphrases
- safety critical
- formal analysis
- formal methods
- petri net
- safety analysis
- fault tolerant
- petri net model
- formal specification
- embedded systems
- support systems
- model checking
- adaptive systems
- building blocks
- agent architecture
- distributed systems
- knowledge representation
- cooperative
- real time
- stochastic petri net
- colored petri nets
- knowledge based systems
- artificial intelligence