摘要
Ｐｅｔｒｉ网作为建立系统模型，性能分析，模拟，系统调度，控制等方面的工具已在计算机各方面得到了很好的应用。本文主要探讨了Ｐｅｔｒｉ网在知识库维护方面的应用，包括知识库的正确性、一致性及完备性的检查。对大型知识库的建立及其维护具有重要意义。
Petri Nets are a powerfu tool for representing and analysing systems,it has found wide applications in computer systems. This paper discusses the application of Petri nets in the rule base maintenance , including verifying the correctness,consistency and completeness of the rule base system. This plays an important role in building an expert system.
出处
《小型微型计算机系统》
CSCD
北大核心
1997年第7期74-77,共4页
Journal of Chinese Computer Systems
