Skip to main navigation
Skip to search
Skip to main content
University of Eastern Piedmont Home
Italiano
English
Search content at University of Eastern Piedmont
Home
Profiles
Research units
Equipment
Projects
Research output
Petri net reachability analysis meets model-based diagnostic problem solving
Luigi Portinale
Research output
:
Contribution to journal
›
Conference article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Petri net reachability analysis meets model-based diagnostic problem solving'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
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%