课程性质：计算机科学与技术选修课 预修课程：集合论与图论，代数结构与数理逻辑 教学目的：通过本课程的教学，使学生掌握Petri网原理的基本内容，并采用Petri网进行系统模拟，以及在描述同步和拓扑等方面的思想和方法深入理解和体会，初步培养学生通过Petri网来解决问题的能力。 基本内容：Petri网系统和通用网论 教学用书：《Petri网原理》，袁崇义，电子工业出版社 基本要求：学生应按本大纲具体要求，理解Petri网原理的基本概念和基本理论，掌握采用Petri网进行系统模拟以及在描述同步和拓扑等方面的思想和方法，并能综合运用所学的知识通过Petri网来分析和解决简单的实际问题。