
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
D.L. Nazareth, "Investigating the Applicability of Petri Nets for RuleBased System Verification," IEEE Transactions on Knowledge and Data Engineering, vol. 5, no. 3, pp. 402415, June, 1993.  
BibTex  x  
@article{ 10.1109/69.224193, author = {D.L. Nazareth}, title = {Investigating the Applicability of Petri Nets for RuleBased System Verification}, journal ={IEEE Transactions on Knowledge and Data Engineering}, volume = {5}, number = {3}, issn = {10414347}, year = {1993}, pages = {402415}, doi = {http://doi.ieeecomputersociety.org/10.1109/69.224193}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Knowledge and Data Engineering TI  Investigating the Applicability of Petri Nets for RuleBased System Verification IS  3 SN  10414347 SP402 EP415 EPD  402415 A1  D.L. Nazareth, PY  1993 KW  Petri nets; rulebased system verification; knowledge bases; error detection; errors of redundancy; conflict; circularity; domain knowledge; knowledge based systems; Petri nets VL  5 JA  IEEE Transactions on Knowledge and Data Engineering ER   
It is suggested that as rulebased 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 netbased 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. 8594, Dec. 1979.
[2] R. Agarwal and M. Tanniru, "A Petrinet based approach for verifying the integrity of production systems,"Int. J. ManMachine Studies, vol. 36, no. 3, pp. 447468, 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: SpringerVerlag, pp. 114, 1984.
[4] J. Baer and C. Ellis, "Model design and evaluation of a computer for a parallel processing environment,"IEEE Trans. Software Eng., vol. SE3, pp. 394405, Nov. 1977.
[5] G. Berthelot, "Checking properties of nets using transformations,"Lecture Notes in Computer Science, vol. 222, pp. 1940, 1987.
[6] W. Brauer, W. Reisig, and G. Rozenberg, Eds.,Petri Nets: Applications and Relationships to Other Models of Concurrency. Berlin: SpringerVerlag, 1987.
[7] B. Chandrasekaran, "On evaluating AI systems for medical diagnosis,"AI Mag., vol. 4, no. 2, pp. 3437, Summer 1983.
[8] W. Clancey, "Heuristic Classification,"Artificial Intelligence, Vol. 27, 1985, pp. 289350.
[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. 6674.
[10] B. J. Cragun and H. J. Steudel, "A decisiontablebased processor for checking completeness and consistency in rulebased expert systems,"Int. J. ManMachine Studies, vol. 26, pp. 633648, 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. 5580.
[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 microcomputerbased expert system to support auditors in the field,"Expert Syst., vol. 2, no. 4, pp. 210221, 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: SpringerVerlag, Feb. 1987, pp. 2061.
[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. 588595.
[17] A. Giordana and L. Saitta, "Modeling production rules by means of predicate transition networks,"Inform. Sci., vol. 35, pp. 141, 1985.
[18] M. Hack, "Decidability questions for Petri nets," Ph.D. dissertation, Dept. Elec. Eng., MIT, Cambridge, Dec. 1975.
[19] F. HayesRoth, "Rulebased systems,"Commun. ACM, vol. 28, no. 9, pp. 921932, Sept. 1985.
[20] A. Holt, H. Saint, R. Shapiro, and S. Warshall, "Final report of theinformation system theory project," Tech. Rep. RACDTR68305, 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: SpringerVerlag, 1986, pp. 419.
[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. 312317.
[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: SpringerVerlag, 1988, pp. 262282.
[24] J. Liebowitz, "Useful approach for evaluating expert systems,"Expert Syst., vol. 3, no. 2, pp. 8696, Apr. 1986.
[25] C. G. Looney, "Fuzzy Petri nets for rulebased decisionmaking,"IEEE Trans. Syst., Man, Cybern., vol. SMC18, no. 1, pp. 178183, Jan./Feb. 1988.
[26] C. G. Looney and A. R. Alfize, "Logical controls via Boolean rule matrix transformations,"IEEE Trans. Syst., Man, Cybern., vol. SMC17, no. 6, pp. 10771082, Nov./Dec. 1987.
[27] J. Meldman and A. Holt, "Petri nets and legal systems,"Jurimetrics J., vol. 12, no. 2, pp. 6575, Dec. 1971.
[28] P. M. Merlin, "A methodology for the design and implementation of communication protocols,"IEEE Trans. Commun., vol. COM24, no. 6, pp. 614621, 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. IE33, 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. 7393, 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. 281292, Sept. 1991.
[32] T. Murata and D. Zhang, "A predicatetransition net model for parallel interpretation of logic programs,"IEEE Trans. Software Eng., vol. 14, pp. 481497, 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 rulebased systems,"Int. J. ManMachine Studies, vol. 30, no. 3, pp. 255271, Mar. 1989.
[35] T. A. Nguyen, "Verifying consistency of production systems," inProc. Third IEEE Conf. Artificial Intell. Appl., Orlando, FL, Feb. 1987, pp. 48.
[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. 375378.
[37] T. A. Nguyen, W. A. Perkins, T. J. Laffey, and D. Pecora, "Knowledge base validation,"AI Magazine, summer, pp. 6775, 1987.
[38] R. M. O'Keefe, O. Balci, and E. P. Smith, "Validating expert system performance,"IEEE Expert, vol. 2, pp. 8190, 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. 209217, Feb. 1989.
[41] J. L. Peterson, "Petri nets,"ACM Comput. Surveys, vol. 9, no. 3, pp. 223252, Sept. 1977.
[42] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: PrenticeHall, 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. 6396.
[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. 3352, Winter 19881989.
[46] M. Suwa, A. C. Scott, and E. H. Shrotliffe, "An approach to verifying completeness and consistency in a rulebased expert system,"AI Mag., pp. 1621, 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: SpringerVerlag, 1986, pp. 191216.
[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: NorthHolland, 1982, pp. 173191.
[49] K. Voss, "Nets in office automation," inAdvances in Petri Nets 1986, Part II, W. Brauer, W. Reisig, and G. Rozenberg, Eds. Berlin: SpringerVerlag, 1986, pp. 234257.
[50] G. R. Wheeler, M. C. WilburHam, 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: SpringerVerlag, 1986, pp. 435452.