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

Some of the most popular approaches to model-based diagnosis consist of reasoning about a model of the behaviour of the system to be diagnosed by considering a set of observations about such a system and by explaining it in terms of a set of initial causes. This process has been widely modeled via logical formalisms essentially taking into account declarative aspects. In this paper, a new approach is proposed, where the diagnostic process is captured within a framework based on the formalism of Petri nets. We introduce a particular net model, called Behavioral Petri Net (BPN), We show how the formalization of the diagnostic process can be obtained in terms of reachability in a BPN and can be implemented by exploiting classical analysis techniques of Petri nets like reachability graph analysis and P-invariant computation. Advantages of the proposed methods, like suitability to parallel processing and exploitation of linear algebra techniques, are then pointed out.

[1]  Georg Gottlob,et al.  Physical Impossibility Instead of Fault Models , 1990, AAAI.

[2]  Luigi Portinale,et al.  Verification of causal models using petri nets , 1992, Int. J. Intell. Syst..

[3]  Luigi Portinale,et al.  B-W Analysis: A Backward Reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation , 1994, Application and Theory of Petri Nets.

[4]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[5]  Jaegeol Yim,et al.  A Predicate-Transition Net Model for Multiple Agent Planning , 1991, Inf. Sci..

[6]  Luigi Portinale,et al.  Combining heuristic reasoning with causal reasoning in diagnostic problem solving , 1993 .

[7]  Pietro Torasso,et al.  A spectrum of logical definitions of model‐based diagnosis 1 , 1991, Comput. Intell..

[8]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[9]  Carl G. Looney,et al.  Fuzzy Petri nets for rule-based decisionmaking , 1988, IEEE Trans. Syst. Man Cybern..

[10]  David Poole,et al.  Normality and Faults in Logic-Based Diagnosis , 1989, IJCAI.

[11]  Janette Cardoso,et al.  Petri nets with uncertain markings , 1991, Applications and Theory of Petri Nets.

[12]  Dan C. Marinescu,et al.  Logical Inference of Horn Clauses in Petri Net Models , 1993, IEEE Trans. Knowl. Data Eng..

[13]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[14]  Pietro Torasso,et al.  A Theory of Diagnosis for Incomplete Causal Models , 1989, IJCAI.

[15]  P. S. Thiagarajan,et al.  Elementary Net Systems , 1986, Advances in Petri Nets.

[16]  Dan C. Marinescu,et al.  A parallel algorithm for computing invariants of Petri net models , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[17]  Tadao Murata,et al.  A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs , 1988, IEEE Trans. Software Eng..

[18]  Robert Valette,et al.  Software Implementation of Petri nets and compilation of rule-based systems , 1990, Applications and Theory of Petri Nets.

[19]  Du Zhang,et al.  Planning with Pr/T nets , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[20]  Luigi Portinale.  Exploiting T-invariant Analysis in Diagnostic Reasoning on a Petri Net Model , 1993, Application and Theory of Petri Nets.

[21]  Derek L. Nazareth,et al.  Investigating the Applicability of Petri Nets for Rule-Based System Verification , 1993, IEEE Trans. Knowl. Data Eng..

[22]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[23]  A. Giordana,et al.  Modelling Production Systems by means of Predicate-Transitions Networks , 1985, Inf. Sci..

[24]  B. Pradin-Chezalviel,et al.  Petri nets and linear logic for process oriented diagnosis , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[25]  Luca Bernardinello,et al.  A survey of basic net models and modular net classes , 1992, Advances in Petri Nets: The DEMON Project.