基于Petri网的知识库维护方法的研究

Ｐｅｔｒｉ网作为建立系统模型，性能分析，模拟，系统调度，控制等方面的工具已在计算机各方面得到了很好的应用。本文主要探讨了Ｐｅｔｒｉ网在知识库维护方面的应用，包括知识库的正确性、一致性及完备性的检查。对大型知识库的建立及其维护具有重要意义。