This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Investigating the Applicability of Petri Nets for Rule-Based System Verification
June 1993 (vol. 5 no. 3)
pp. 402-415

It is suggested that as rule-based system (RBS) technology gains wider acceptance, the need to create and maintain large knowledge bases will assume greater importance. Demonstrating a rule base to be free from error remains one of the obstacles to the adoption of this technology. An approach to RBS verification in which the system is modeled as a Petri net on which error detection is performed is presented. A set of propositions is formulated to locate errors of redundancy, conflict, circularity, and gaps in domain knowledge. Rigorous proofs of these propositions are provided. Difficulties in implementing a Petri net-based verifier and the potential restrictions of the applicability of this approach are discussed.

[1] T. Agerwala, "Putting Petri nets to work,"Comput., vol. 12, no. 12, pp. 85-94, Dec. 1979.
[2] R. Agarwal and M. Tanniru, "A Petri-net based approach for verifying the integrity of production systems,"Int. J. Man-Machine Studies, vol. 36, no. 3, pp. 447-468, Mar. 1992.
[3] P. Alanche, K. Banzakour, F. Dollé, F. Gillet, P. Rodrigues, and R. Vallette, "PSI: A Petri net based simulator for flexible manufacturing systems," in G. Rozenberg, Ed.,Advances in Petri Nets 1984. Berlin: Springer-Verlag, pp. 1-14, 1984.
[4] J. Baer and C. Ellis, "Model design and evaluation of a computer for a parallel processing environment,"IEEE Trans. Software Eng., vol. SE-3, pp. 394-405, Nov. 1977.
[5] G. Berthelot, "Checking properties of nets using transformations,"Lecture Notes in Computer Science, vol. 222, pp. 19-40, 1987.
[6] W. Brauer, W. Reisig, and G. Rozenberg, Eds.,Petri Nets: Applications and Relationships to Other Models of Concurrency. Berlin: Springer-Verlag, 1987.
[7] B. Chandrasekaran, "On evaluating AI systems for medical diagnosis,"AI Mag., vol. 4, no. 2, pp. 34-37, Summer 1983.
[8] W. Clancey, "Heuristic Classification,"Artificial Intelligence, Vol. 27, 1985, pp. 289-350.
[9] J. P. Courtiat, J. M. Ayache, and B. Algayres, "Petri nets are good for protocols," inACM SIGCOMM '84 Symp. Communications Architectures and Protocols, Montreal, Canada, June 1984, pp. 66-74.
[10] B. J. Cragun and H. J. Steudel, "A decision-table-based processor for checking completeness and consistency in rule-based expert systems,"Int. J. Man-Machine Studies, vol. 26, pp. 633-648, 1987.
[11] J. Dennis, "Modular, asynchronous control structures for a high performance processor," Rec.Project MAC Conf. Concurrent Systems and Parallel Computation, New York, June 1970, pp. 55-80.
[12] M. Diaz, J.P. Courtiat, B. Berthomieu and J.M. Ayache, "Petri net based models for protocols,"Proc. IEEE Int. Conf. Commun. ICC 1983, Boston, MA, June 1983.
[13] C. Dungan and J.S. Chandler, "AUDITOR: A microcomputer-based expert system to support auditors in the field,"Expert Syst., vol. 2, no. 4, pp. 210-221, Oct. 1985.
[14] F. Feldbrugge and K. Jensen, "Petri net tool overview 1986," inPetri Nets: Applications and Relationships to Other Models of Concurrency(LNCS, vol. 255), W. Brauer, W. Reisig, and G. Rozenberg, Eds. Berlin: Springer-Verlag, Feb. 1987, pp. 20-61.
[15] J.R. Geissmann and R.D. Schultz, "Verification and Validation of Expert Systems,"AI Expert, Vol. 3, No. 2, Feb. 1988, pp. 26- 33.
[16] H. Genrich and K. Lautenbach, "Facts in place/transition nets," inProc. Seventh Symp. Math. Foundations Comput. Sci., 1976, pp. 588-595.
[17] A. Giordana and L. Saitta, "Modeling production rules by means of predicate transition networks,"Inform. Sci., vol. 35, pp. 1-41, 1985.
[18] M. Hack, "Decidability questions for Petri nets," Ph.D. dissertation, Dept. Elec. Eng., MIT, Cambridge, Dec. 1975.
[19] F. Hayes-Roth, "Rule-based systems,"Commun. ACM, vol. 28, no. 9, pp. 921-932, Sept. 1985.
[20] A. Holt, H. Saint, R. Shapiro, and S. Warshall, "Final report of theinformation system theory project," Tech. Rep. RACD-TR-68-305, Rome Air Development Center, Griffiths Air Force Base, New York, Sept. 1968.
[21] K. Jensen, "Computer tools for construction, modification and analysis of Petri nets," inAdvances in Petri Nets, Part II(Lecture Notes in Comput. Sci., vol. 255). New York: Springer-Verlag, 1986, pp. 4-19.
[22] M. Kamath and N. Vishwanadham, "Applications of Petri net based models in the modeling and analysis of Flexible Manufacturing systems," inProc. IEEE Int. Conf. Robotics and Automation, 1986, pp. 312-317.
[23] J. L. Lambert, "Some consequences of the decidability of the reachability problem for Petri nets," in G. Rozenberg, Ed.,Advances in Petri Nets 1988. Berlin: Springer-Verlag, 1988, pp. 262-282.
[24] J. Liebowitz, "Useful approach for evaluating expert systems,"Expert Syst., vol. 3, no. 2, pp. 86-96, Apr. 1986.
[25] C. G. Looney, "Fuzzy Petri nets for rule-based decisionmaking,"IEEE Trans. Syst., Man, Cybern., vol. SMC-18, no. 1, pp. 178-183, Jan./Feb. 1988.
[26] C. G. Looney and A. R. Alfize, "Logical controls via Boolean rule matrix transformations,"IEEE Trans. Syst., Man, Cybern., vol. SMC-17, no. 6, pp. 1077-1082, Nov./Dec. 1987.
[27] J. Meldman and A. Holt, "Petri nets and legal systems,"Jurimetrics J., vol. 12, no. 2, pp. 65-75, Dec. 1971.
[28] P. M. Merlin, "A methodology for the design and implementation of communication protocols,"IEEE Trans. Commun., vol. COM-24, no. 6, pp. 614-621, June 1976.
[29] T. Murata, N. Komoda, K. Matsumoto, and K. Haruna, "A Petri net based controller for flexible and maintainable sequence control and its application in factory automation,"IEEE Trans. Indus. Electron., vol. IE-33, Feb. 1986.
[30] T. Murata and K. Matsuyama, "Inconsistency check of a set of clauses using Petri net reductions,"J. Franklin Institute, vol. 325, no. 1, pp. 73-93, 1988.
[31] T. Murata, V. S. Subrahmanian and T. Wakayama, "A Petri net model for reasoning in the presence of inconsistency,"IEEE Trans. Knowl. Data Eng., vol. 3, pp. 281-292, Sept. 1991.
[32] T. Murata and D. Zhang, "A predicate-transition net model for parallel interpretation of logic programs,"IEEE Trans. Software Eng., vol. 14, pp. 481-497, Apr. 1988.
[33] D. L. Nazareth, "An analysis of techniques for verification of logical correctness in rule based systems," Ph.D. dissertation, Dept. Managerial Studies, Case Western Reserve Univ., Cleveland, OH, Jan. 1988.
[34] D. L. Nazareth, "Issues in the verification of knowledge in rule-based systems,"Int. J. Man-Machine Studies, vol. 30, no. 3, pp. 255-271, Mar. 1989.
[35] T. A. Nguyen, "Verifying consistency of production systems," inProc. Third IEEE Conf. Artificial Intell. Appl., Orlando, FL, Feb. 1987, pp. 4-8.
[36] T. A. Nguyen, W. A. Perkins, T. J. Laffey, D. Pecora, "Checking expert system knowledge bases for consistency and completeness," inProc. Ninth Int. Joint Conf. Artificial Intell., Los Angeles, CA, Aug. 1985, pp. 375-378.
[37] T. A. Nguyen, W. A. Perkins, T. J. Laffey, and D. Pecora, "Knowledge base validation,"AI Magazine, summer, pp. 67-75, 1987.
[38] R. M. O'Keefe, O. Balci, and E. P. Smith, "Validating expert system performance,"IEEE Expert, vol. 2, pp. 81-90, Winter 1987.
[39] S. Patil, "Coordination of asynchronous events," Ph.D. dissertation, Dept. Elec. Eng., MIT, Cambridge, May 1970.
[40] G. Peterka and T. Murata, "Proof procedure and answer extraction in Petri net model of logic programs,"IEEE Trans. Software Eng., vol. 15, pp. 209-217, Feb. 1989.
[41] J. L. Peterson, "Petri nets,"ACM Comput. Surveys, vol. 9, no. 3, pp. 223-252, Sept. 1977.
[42] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
[43] C. A. Petri, "Kommunikation mit Automaten," Ph.D. dissertation, Univ. Bonn, Bonn, Germany, 1962.
[44] W. Reisig, "Petri nets in software engineering," inAdvances in Petri Nets 1986. Germany: Bad Honnet, Sept. 1986, pp. 63-96.
[45] S. Sakhtivel and M.R. Tanniru, "Verification and validation of information systems during requirements analysis,"J. Manag. Inform. Syst., vol. 5, no. 3, pp. 33-52, Winter 1988-1989.
[46] M. Suwa, A. C. Scott, and E. H. Shrotliffe, "An approach to verifying completeness and consistency in a rule-based expert system,"AI Mag., pp. 16-21, Fall 1982.
[47] R. Valette, "Nets in production systems," inAdvances in Petri Nets 1986, Part II, W. Brauer, W. Reisig and G. Rozenberg, Eds. Berlin: Springer-Verlag, 1986, pp. 191-216.
[48] K. Voss, "Nets as a consistency tool for the stepwise design and verification of a distributed system, " inEvolutionary Information Systems, J. Hawgood, Ed. Amsterdam, The Netherlands: North-Holland, 1982, pp. 173-191.
[49] K. Voss, "Nets in office automation," inAdvances in Petri Nets 1986, Part II, W. Brauer, W. Reisig, and G. Rozenberg, Eds. Berlin: Springer-Verlag, 1986, pp. 234-257.
[50] G. R. Wheeler, M. C. Wilbur-Ham, J. Billington, and J. A. Gilmour, "Protocol analysis using Numerical Petri Nets,"Advances in Petri Nets 1985, (Lecture Notes in Computer Science, vol. 222). Berlin: Springer-Verlag, 1986, pp. 435-452.

Index Terms:
Petri nets; rule-based system verification; knowledge bases; error detection; errors of redundancy; conflict; circularity; domain knowledge; knowledge based systems; Petri nets
Citation:
D.L. Nazareth, "Investigating the Applicability of Petri Nets for Rule-Based System Verification," IEEE Transactions on Knowledge and Data Engineering, vol. 5, no. 3, pp. 402-415, June 1993, doi:10.1109/69.224193
Usage of this product signifies your acceptance of the Terms of Use.