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

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 27, Issue 2, 1997, Pages 184-195

  Portinale, Luigi ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Model based diagnosis; Petri nets; Reachability analysis

Indexed keywords

CALCULATIONS; COMPUTER SIMULATION; FORMAL LOGIC; GRAPH THEORY; INVARIANCE; KNOWLEDGE REPRESENTATION; LINEAR ALGEBRA; LOGIC PROGRAMMING; MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS; PROBLEM SOLVING; SYSTEMS ANALYSIS;

BEHAVIORAL PETRI NET; MODEL BASED DIAGNOSIS; P-INVARIANT; REACHABILITY ANALYSIS; REASONING;

PETRI NETS;

EID: 0031125971     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/3477.558794     Document Type: Article

References (31)

1. W. Hamscher, L. Console, and J. de Kleer, Readings in Model-Based Diagnosis. San Mateo, CA: Morgan Kaufmann, 1992.
2. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, 1989.
3. A. Giordana and L. Saitta, "Modeling production rules by means of predicate transition networks," Inf. Sci., vol. 35, pp. 1-41, 1985.
4. R. Valette and B. Bako, "Software implementation of Petri nets and compilation of rule-based systems," in Advances in Petri Nets 1991. Berlin, Germany: Springer-Verlag, 1991, pp. 296-316.
5. D. L. Nazareth, "Investigating the applicability of Petri nets for rule-based system verification," IEEE Trans. Knowledge Data Eng., vol. 5, no. 3, pp. 402-415, 1993.
6. L. Portinale, "Verification of causal models using Petri nets," Int. J. Intelligent Syst., vol. 7, no. 8, pp. 715-742, 1992.
7. T. Murata, P.C. Nelson, and J. Yim, "A Predicate transition net model for multiple agent planning," Inf. Sci., vol. 57-58, pp. 361-384, 1991.
8. D. Zhang, "Planning with Pr/T nets", in Proc. IEEE Int. Conf. Robotics and Automation, Sacramento, CA, 1991, pp. 769-775.
9. T. Murata and D. Zhang, "A predicate-transition net model for parallel interpretation of logic programs," IEEE Trans. Software Eng., vol. 14, no. 4, pp. 481-497, 1988.
10. J. Cardoso, R. Valette, and D. Dubois, "Petri nets with uncertain markings," in Advances in Petri Nets 1990, LNCS 483, G. Rozenberg, Ed. Berlin, Germany: Springer-Verlag, 1990, pp. 64-78.
11. C. G. Looney, "Fuzzy Petri nets for rule-based decisionmaking," IEEE Trans. Syst., Man, Cybern., vol. 18, no. 1, pp. 178-183, 1988.
12. T. Murata and J. Yim, "Petri-net deduction methods for prepositional-logic rule-based systems," Tech. Rep. UIC-EECS-89-15, Univ. Illinois, Chicago, IL, 1989.
13. B. Pradin-Chezalviel and R. Valette, "Petri nets and linear logic for process oriented diagnosis," in Proc. IEEE Int. Conf. Systems, Man, and Cybernetics, Le Touquet, France, 1993.
14. R. Reiter, "A theory of diagnosis from first principles," Artif. Intell., vol. 32, no. 1, pp. 57-96, 1987.
15. A. P. Sage, Ed., "Special issue on causal and diagnostic reasoning," IEEE Trans. Syst., Man, Cybern., vol. SMC-17, no. 3, 1987.
16. L. Console, D. Theseider Dupré, and P. Torasso, "A theory of diagnosis for incomplete causal models," in Proc. 11th IJCAI, Detroit, MI, 1989, pp. 1311-1317.
17. D. Poole, "Normality and faults in logic-based diagnosis," in Proc. 11th IJCAI, Detroit, MI, 1989, pp. 1304-1310,
18. and W. Hamscher, L. Console, and J. de Kleer, Readings in Model-Based Diagnosis. San Mateo, CA: Morgan Kaufmann, 1992.
19. L. Console and P. Torasso, "A spectrum of logical definitions of model-based diagnosis," Computational Intelligence, vol. 7, no. 3, pp. 133-141, 1991.
20. J. W. Lloyd, Foundations of Logic Programming. Berlin, Germany: Springer-Verlag, 1987.
21. L. Console, L. Portinale, D. Theseider-Duprè, and P. Torasso, "Combining heuristic and causal reasoning in diagnostic problem solving," in Second Generation Expert Systems, J. M. David, J. P. Krivine, and R. Simmons, Eds. Berlin, Germany: Springer-Verlag, 1993, pp. 46, 68.
22. G. Friedrich, G. Gottlob, and W. Nejdl, "Physical impossibility instead of fault models," in Proc. AAAI 90, Boston, MA, 1990, pp. 331-336,
23. and W. Hamscher, L. Console, and J. de Kleer, Readings in Model-Based Diagnosis. San Mateo, CA: Morgan Kaufmann, 1992.
24. L. Bernardinello and F. De Cindio, "A survey of basic net models and modular net classes," in Advances in Petri Nets 1992, LNCS 609, G. Rozenberg, Ed. Berlin, Germany: Springer-Verlag, 1992, pp. 304-351.
25. L. Portinale, "Petri net models for diagnostic knowledge representation and reasoning," Ph.D. dissertation, Dip. Informatica, Universita di Torino, 1993. Also available FTP ftp.di.unito.it/pub/portinal.
26. C. Anglano and L. Portinale, "B-W analysis: A backward reachability analysis for diagnostic problem solving suitable to parallel implementation," in Proc. 15th Int. Conf. Application and Theory of Petri Nets, LNCS 815, Zaragoza, Spain, 1994, pp. 39-58.
27. L. Portinale, "Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model," in Proc. 14th Int. Conf. on Application and Theory of Petri Nets, LNCS 691, Chicago, IL, 1993, pp. 339-356.
28. D. C. Marinescu, M. Beaven, and R. Stansifer, "A parallel algorithm for computing invariants of a Petri net model," in Proc. 4th Int. Workshop Petri Nets and Performance Models, Melbourne, Australia, 1991, pp. 136-143.
29. C. Lin, A. Chaundhury, A. Whinston, and D.C. Marinescu, "Logical inference on Horn clauses in Petri net models," IEEE Trans. Knowledge and Data Eng., vol. 5, no. 3, pp. 416-425, 1993.
30. P. S. Thiagarajan, "Elementary net systems," in Advances in Petri Nets 1986 - Part I. Berlin, Germany: Springer-Verlag, 1986, pp. 26-59.
31. D. Zhang and T. Murata, "Fixpoint semantics for Petri net model of definite clause logic programs," Tech. Rep. UIC-EECS-87-2, Univ. Illinois, Chicago, 1987.