1. 研究目的与意义（文献综述）
petri网是一种可以用网状图形表示的系统模型.它不仅仅是一种可以用数学图形表示的数学对象,它首先是一种物理对象,因为它把尊重自然规律作为第一要义,这样可以确保以petri网为模型描述的系统都是可以实现的[1].
petri网的发展可分为三个阶段：第一阶段：20世纪60年代，以孤立的网系统为对象，以寻求分析技术和应用方法为目标．这些内容称为“特殊”网论(与“一般”或“通用”比较而言）；第二阶段：20世纪70年代，是通用网论的研究，以网系统的全体为对象，研究其分类以及各类网之间的关系，发展了以并发论，同步论，网逻辑和网拓扑为主要内容的理论体系；第三阶段：20世纪80年代，是petri网的综合发展阶段，以理论与应用的结合及计算机辅助工具的开发为主要内容[2]．（petri网有充分的模拟能力和丰富的分析方法）
随着工业的飞速发展，工业生产对petri网有着越来越高的要求，petri应用的方面越来越多，例如说：应用于柔性制造、计算机机械制造和智能制造系统的建模、分析、控制和优化设计[3]。
2. 研究的基本内容与方案
知识表示、知识推理和知识应用是人工智能的核心问题[7]。目前，基于非经典逻辑的自动推理系统由于它加速了人工智能的发展而越来越引起人们的广泛重视。为了处理不同信息的推理，人们提出并发展了多种数学理论、方法和工具。如归结原理、经典逻辑、模糊逻辑、格值逻辑、rough逻辑以及petri网理论等，这些理论和方法为自动推理提供了强有力的支持[8][9]。本文在自动推理领域中，进一步发展了现有的理论和方法，研究了基于petri网模型的归结自动推理系统[10]。
普通的petri网主要有两种结点，即转移结点(变迁，ition)和位置结点(placed分别用竖线和圆圈表示）petri网中有两种连线：输入连线，指从转移结点到位置结点的连接线，反向为输出连接线。一个petri网就是用这两种结点和两种连线互连成的图[11]。例如图1-1就是一个petri网[12][13]。
3. 研究计划与安排
1.参加毕业实习活动，撰写毕业实习报告。（第1~2周）2.熟悉本课题要求，收集有关资料，撰写开题报告。（第3~4周）
3.学习课题有关的知识，并翻译英文资料。（第5周）
4.学习和掌握本课题有关的技术，系统的硬件和软件设计及调试。（第6~16周）
4. 参考文献（12篇以上）
[1]袁崇义.petri网原理与应用[m].北京：电子工业出版社.
2006
[2] [2]吉罗.系统工程petri网：建模、验证与应用指南[m]北京:电
