Investigating the Applicability of Petri Nets for Rule-Based System Verification.

@article{DBLP:journals/tkde/Nazareth93,
  author    = {Derek L. Nazareth},
  title     = {Investigating the Applicability of Petri Nets for Rule-Based
               System Verification},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {5},
  number    = {3},
  year      = {1993},
  pages     = {402-415},
  ee        = {db/journals/tkde/Nazareth93.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1993 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-3 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

...

[2]

Ritu Agarwal, Mohan Tanniru: A Petri-Net Based Approach for Verifying the Integrity of Production Systems. International Journal of Man-Machine Studies 36(3): 447-468(1992) BibTeX

[3]

...

[4]

Jean-Loup Baer, Carla Schlatter Ellis: Model, Design, and Evaluation of a Compiler for a Parallel Processing Environment. IEEE Trans. Software Eng. 3(6): 394-405(1977) BibTeX

[5]

...

[6]

...

[7]

B. Chandrasekaran: On Evaluating Artificial Intelligence Systems for Medical Diagnosis. AI Magazine 4(2): 34-37, 48(1983) BibTeX

[8]

William J. Clancey: Heuristic Classification. Artif. Intell. 27(3): 289-350(1985) BibTeX

[9]

...

[10]

Brian J. Cragun, Harold J. Steudel: A Decision-Table-Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems. International Journal of Man-Machine Studies 26(5): 633-648(1987) BibTeX

[11]

...

[12]

...

[13]

...

[14]

...

[15]

...

[16]

Hartmann J. Genrich, Kurt Lautenbach: Facts in Place/Transition-Nets. MFCS 1978: 213-231 BibTeX

[17]

...

[18]

...

[19]

Frederick Hayes-Roth: Rule-Based Systems. Commun. ACM 28(9): 921-932(1985) BibTeX

[20]

...

[21]

...

[22]

...

[23]

...

[24]

...

[25]

...

[26]

...

[27]

...

[28]

...

[29]

...

[30]

...

[31]

Tadao Murata, V. S. Subrahmanian, Toshiro Wakayama: A Petri Net Model for Reasoning in the Presence of Inconsistency. IEEE Trans. Knowl. Data Eng. 3(3): 281-292(1991) BibTeX

[32]

Tadao Murata, Du Zhang: A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs. IEEE Trans. Software Eng. 14(4): 481-497(1988) BibTeX

[33]

...

[34]

Derek L. Nazareth: Issues in the Verification of Knowledge in Rule-Based Systems. International Journal of Man-Machine Studies 30(3): 255-271(1989) BibTeX

[35]

...

[36]

Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora: Checking an Expert Systems Knowledge Base for Consistency and Completeness. IJCAI 1985: 375-378 BibTeX

[37]

Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora: Knowledge-Base Verification. AI Magazine 8(2): 69-75(1987) BibTeX

[38]

...

[39]

...

[40]

George Peterka, Tadao Murata: Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs. IEEE Trans. Software Eng. 15(2): 209-217(1989) BibTeX

[41]

James L. Peterson: Petri Nets. ACM Comput. Surv. 9(3): 223-252(1977) BibTeX

[42]

...

[43]

...

[44]

...

[45]

...

[46]

Motoi Suwa, A. Carlisle Scott, Edward H. Shortliffe: An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System. AI Magazine 3(4): 16-21(1982) BibTeX

[47]

...

[48]

...

[49]

...

[50]

...

Referenced by

1. Mysore Ramaswamy, Sumit Sarkar, Ye-Sho Chen: Using Directed Hypergraphs to Verity Rule-Based Expert Systems. IEEE Trans. Knowl. Data Eng. 9(2): 221-237(1997)