Behavioral Petri nets: A model for diagnostic knowledge representation and reasoning

Keyphrases

• Petri Nets 100%
• Knowledge Representation 100%
• Diagnostic Knowledge 100%
• Knowledge Reasoning 100%
• Diagnostic Process 40%
• Popular 20%
• P-invariants 20%
• Linear Algebra 20%
• Net Model 20%
• Model-based Diagnosis 20%
• Reachability Graph 20%
• Parallel Processing 20%
• Graph Analysis 20%
• Logical Formalism 20%
• Classical Analysis 20%
• Reachability 20%

Computer Science

• Petri Net 100%
• Knowledge Representation and Reasoning 100%
• Diagnostic Process 40%
• Reachability Graph 20%
• Analysis Technique 20%
• Formalization 20%
• Parallel Processing 20%
• Popular Approach 20%