CBPNs: coloured behavioural petri nets for model-based diagnosis.
Hammadi BennouiSoumia MancerPublished in: Clust. Comput. (2024)
Keyphrases
- petri net
- model based diagnosis
- discrete event systems
- petri net model
- diagnostic reasoning
- dynamic systems
- model based reasoning
- physical systems
- fault localization
- fuzzy petri net
- service composition
- colored petri nets
- stochastic petri net
- constraint programming
- ims ld
- diagnostic process
- repair actions
- control system
- concurrent processes
- hardware designs
- low cost