基于Petri网的一致性检验的计算机实现

介绍基于约束Petri网的规则集一致性检验命题的验证和实际应用，首先对约束Petri网的概念作了简要介绍。然后着重讲述应用面向对象方法开发的Petri网建模工具，以及一致性检验命题的软件实现方法，最后以某卫星电源系统为对象，对其故障诊断系统的知识库的一致性检验进行实际应用。

REALIZATION OF PETRI NET-BASED CONSISTENCY VERIFICATION IN COMPUTER

Although the rule based system is widely used for fault diagnosis, it is difficult to maintain its knowledge base. Petri net is a graphical and mathematical modeling tool applicable to many systems, and it is found useful to check up lingual and logical errors in the knowledge base. This paper presents the check and the application of propositions based on bounded Petri net for the rule sets' consistency verification. The bounded Petri net is first briefly introduced, and then two contents are emphasized as follows: a Petri net modeling tool with the application of object oriented methods, and a software scheme for the propositions. An example of a satellite power subsystem is considered to illustrate the rule sets' verification in computer.