摘要
介绍一种基于Ｐｅｔｒｉ网的知识表示方法。在引入Ｐｅｔｒｉ网的基本知识后，详细讨论了Ｐｅｔｒｉ网表示产生式系统及基于Ｈｏｒｎ逻辑子句的Ｐｅｔｒｉ网表示，提出了用库所表示产生式谓词，用变迁表示规则的Ｐｅｔｒｉ模型。最后讨论了将Ｐｅｔｒｉ网应用于ＯＯＡ（面向对象分析）模型的研究。
This essay is an introduction of the knowledge expression based on Petri net. After introducing the basic concept of Petri, it mainly discusses the Petri exprssion of production system and expression based on Horn logic subsentence and provides the Petri net model of production system.At last it introduces the application of Petri net in OOA (object orient analysis) and provides the OOA model based on Petri net.
关键词
PETRI网
知识表示
计算机网络
Petri net
knowledge expression
Horn logic subsentence
