Interacting behavioral Petri nets analysis for distributed causal model-based diagnosis.
Hammadi BennouiPublished in: Auton. Agents Multi Agent Syst. (2014)
Keyphrases
- petri net
- discrete event systems
- model based diagnosis
- colored petri nets
- distributed systems
- model based reasoning
- data analysis
- petri net model
- physical systems
- dynamic systems
- dynamic programming
- qualitative models
- ims ld
- discrete event
- dynamical systems
- model checking
- complex systems
- bayesian networks
- concurrent processes