语义网络有很强的表达知识的能力，但它没有公认的形式化表示体系，存在歧义性和推理不确定性的问题。本文用Petri网对语义网络推理方法进行了改进。 用Petri网进行推理，需要把语义网络转化成Petri网，本文用形式逻辑做二者的纽带。把语义网络转化为形式逻辑，进而把形式逻辑再转化为Petri网。 根据形式逻辑的归结反演原理，本文给出了一阶谓词逻辑的Petri网推理的方法，实现了语义网络的Petri网推理。 本文还对一阶谓词的几种具体形式的Petri网推理方法和推理算法的搜索策略进行了讨论。 《计算机网络》课程辅导专家系统作为实例，证明了本文方法的可实践性。 本文研究了网逻辑和形式逻辑之间的关系。网逻辑与其他传统逻辑之间的关系有待进一步研究。