Diagnosis knowledge representation and inference

In this article, we presented three graphical modeling techniques for diagnostic knowledge representation and inference: behavioral Petri nets (BPNs), multisignal flow graphs, and Bayesian networks (BNs). By using the same example from (Portinale, 1997) we showed that both multisignal flow graph model and BN model yield the same diagnosis. In addition, we showed that the P-invariant concept in BPN is similar to the D-separation concept in BNs.