本论文主要研究将多值逻辑应用在产生式知识表示中，表现出知识的不确定性和不精确性；同时，为了缩小搜索空间，提高推理速度，提出了一种基于Petri网的形式化正向化简算法，从而免去了对知识库的盲目搜索，解决了匹配效率不高的缺点；根据多值逻辑的特点，提出一种以普通Petri网为基础，结合模糊Petri网和有色Petri网各自一些特点的多值Petri网，又分别提出了针对对称三值逻辑的基于模糊Petri网的知识表示和推理算法，和针对非对称多值逻辑的基于多值Petri网的知识表示和推理算法，实现了包括对称三值逻辑在内的多值逻辑的推理计算；最后在MATLAB中对提出的算法进行仿真分析，实现了基于非对称多值逻辑、二值逻辑和对称三值逻辑的Petri网模型的化简，通过对化简前后矩阵大小以及规定次数推理耗时的比较，说明Petri网化简算法是正确而有效的；通过与参考文献23中提出的三值规则矩阵推理算法的比较分析，验证了基于模糊Petri网的推理算法和基于多值Petri网的推理算法的正确性以及优越性。 总的来说，本文是利用Petri网作为一种描述和处理工具，初步研究出Petri网、多值逻辑和产生式知识表示三者之间的内在联系和合理结合，进一步改进和完善多值推理，减少重复推理，降低算法复杂度，实现高速和准确。由于本论文中尚未考虑多值的规则库与Petri网模型之间的自动化转化机制，所以对于有关基于Petri网的多值产生式处理将在以后做进一步的研究，实现规则库与相应的关联矩阵和标识向量之间的自动转化。