Petri net reachability analysis meets model-based diagnostic problem solving

Keyphrases

• Petri Nets 100%
• Model-based Diagnostics 100%
• Clinical Problem Solving 100%
• Reachability Analysis 100%
• Invariant-based 33%
• P-invariants 33%
• Net Model 33%
• Reachability Graph 33%
• Diagnostic Challenge 33%
• Diagnostic Process 33%
• Reachability 33%
• Logical Frameworks 33%
• Invariance Analysis 33%
• Graph Invariant 33%

Computer Science

• Reachability Analysis 100%
• Petri Net 100%
• Reachability Graph 50%
• Diagnostic Process 50%
• Logical Framework 50%

Engineering

• Reachability 100%