Skip to main content
SpringerLink
Log in

Using Petri nets to verify acyclic rule-based system

  • Research Article
  • Published:
Frontiers of Electrical and Electronic Engineering in China

Abstract

A series of Petri net-based definitions were formulated for describing four types of structural errors in a rule-based system (RBS), including inconsistency, incompleteness, redundancy and circularity. A marked ω-Petri net model of acyclic RBS was constructed. Then, its reachability tree was generated to record all reachable relations between propositions in RBS. Moreover, a backward reasoning forest of a reachable marking was generated for explicitly representing reachable paths in RBS. Finally, a set of theorems and algorithms were provided to analyze and check structural errors. The usability of the research results presented in this paper was illustrated by an example.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Nazareth D L, Kennedy M H. Verification of rule-based knowledge using directed graphs. Knowledge Acquisition, 1991, 3: 339–360

    Article  Google Scholar 

  2. Ramaswamy M, Sarkar S, Chen Y S. Using directed hypergraphs to verify rule-based expert systems. IEEE Transactions on Knowledge and Data Engineering, 1997, 9(2): 221–237

    Article  Google Scholar 

  3. Looney C G, Liang L R. Inference via fuzzy belief Petri nets. In: Chen I R, Anderson C eds. Proceedings of the Fifteenth IEEE International Conference on Tools with Artificial Intelligence. Sacramento: IEEE Computer Society, 2003: 510–514

    Chapter  Google Scholar 

  4. Murata T, Subrabmanian V S, Wakayama T. A Petri net model for reasoning in the presence of inconsistency. IEEE Transactions on Knowledge and Data Engineering, 1991, 2(3): 281–292

    Article  Google Scholar 

  5. Yang S J H, Lee A S, Chu W C, et al. Rule base verification using Petri nets. In: Hughes E eds. Proceedings of the 22nd International Computer Software and Applications Conference. Sacramento: IEEE Computer Society, 1998: 476–481

    Google Scholar 

  6. Nazareth D L. Investigating the applicability of Petri nets for rule-based system verification. IEEE Transactions on Knowledge and Data Engineering, 1993, 5(3): 402–415

    Article  Google Scholar 

  7. He X D, Chu W C, Yang H J. A new approach to verify rule-based systems using Petri nets. Information and Software Technology, 2003, 45(10): 663–669

    Article  Google Scholar 

  8. Lin C, Chaudhury A, Whinston A, et al. Logical inference of Horn clauses in Petri net models. IEEE Transactions on Knowledge and Data Engineering, 1993, 5(3): 416–425

    Article  Google Scholar 

  9. Jiang C J. Behavior Theory and Applications of Petri Net. Beijing: Higher Education Press, 2003, 19–28 (in Chinese)

    Google Scholar 

  10. Yuan C Y. The Principle and Application of Petri Nets. Beijing: Publishing House of Electronics Industry, 2005: 58–70 (in Chinese)

    Google Scholar 

  11. Yan W M, Wu W M. Data Structure. Beijing: Tsinghua University Press, 2002 (in Chinese)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao, 266510, China

    Zhijun Ding & Meiqin Pan

  2. Department of Computer Science and Engineering, Tongji University, Shanghai, 201804, China

    Changjun Jiang & Yaojun Han

Authors
  1. Zhijun Ding
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Meiqin Pan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Changjun Jiang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yaojun Han
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zhijun Ding.

Additional information

__________

Translated from Journal of Tongji University (Natural Science), 2007, 35(2): 232–238 [译自: 同济大学学报(自然科学版)]

About this article

Cite this article

Ding, Z., Pan, M., Jiang, C. et al. Using Petri nets to verify acyclic rule-based system. Front. Electr. Electron. Eng. Ch 3, 155–161 (2008). https://doi.org/10.1007/s11460-008-0042-2

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11460-008-0042-2

Keywords

Search

Navigation