Citation: L. Portinale, BEHAVIORAL PETRI NETS - A MODEL FOR DIAGNOSTIC KNOWLEDGE REPRESENTATION AND REASONING, IEEE transactions on systems, man and cybernetics. Part B. Cybernetics, 27(2), 1997, pp. 184-195
Citation: L. Console et al., USING COMPILED KNOWLEDGE TO GUIDE AND FOCUS ABDUCTIVE DIAGNOSIS, IEEE transactions on knowledge and data engineering, 8(5), 1996, pp. 690-706