爱华网Petri网原理
（The Theory of Petri Net）
学分数3 周学时 3
课程性质：计算机科学与技术选修课
预修课程：集合论与图论，代数结构与数理逻辑
教学目的：通过本课程的教学，使学生掌握Petri网原理的基本内容，并对采用Petri网进行系统模拟以及在描述同步和拓扑等方面的思想和方法深入理解和体会，初步培养学生通过Petri网来解决问题的能力。
基本内容：Petri网系统和通用网论
基本要求：学生应按本大纲具体要求，理解Petri网原理的基本概念和基本理论，掌握采用Petri网进行系统模拟以及在描述同步和拓扑等方面的思想和方法，并能综合运用所学的知识通过Petri网来分析和解决简单的实际问题。 教学用书：《Petri网原理》，袁崇义，电子工业出版社，1998年 参考书：
[1] T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, Vol. 77, No 4, April, 1989, pp. 541-580.
[2] W. Reisig, Petri Nets, An Introduction. EATCS, Monographs on Theoretical Computer Science, W.Brauer, G. Rozenberg, A. Salomaa (Eds.), Springer Verlag, Berlin, 1985.
[3] C. Girault, R. Valk. Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications. Springer-Verlag, 2002, ISBN: 3-540-41217-4.
[4] Petri Nets World. Available: http://www.daimi.au.dk/PetriNets/
教学内容、要求和课时安排：
基础算法
一、网和网系统（学时数：3）
教学内容
1．实例
2．基本定义
教学要求
1．理解Petri网的概念。
2．初步了解通过Petri网进行系统模拟的方法。
二．基本网系统（学时数：9）
教学内容
1．定义和变迁规则
2. 事件间基本关系
3． S_补和T_补
4． T_图，S_图和活性定理
5． 应用顺序统计的算法
教学要求
系统掌握基本网的概念和性质。
三．库所/变迁系统（学时数：9）
教学内容
1．可达标识集
2． 出现序列和变迁序列
3. 进程
4．不变量
5．层次模拟和抽象
教学要求
掌握有关库所/变迁系统的概念和性质。
四．高级网系统（学时数：6）
教学内容
1．谓词/变迁系统
2. 有色网系统
3. 自控网系统
教学要求
掌握有关高级网系统的概念和性质。
五．条件/事件系统（学时数：6）
教学内容
1．定义和完全可达关系
2．公理和基本现象
3． 完备化
教学要求
掌握有关条件/事件系统的概念和性质。
六．同步论（学时数：6）
教学内容
1．同步的各种形式
2．同步距离
3．同步距离与系统行为
4．同步距离的计算
5．同步距离的应用
教学要求
在原有的基础上，掌握同步论，并在系统模拟中初步应用。
七．网逻辑（学时数：6）
教学内容
1．迁形式分类——网逻辑结构
2．事实、命题和推理规则
3．网与命题逻辑
4．网与一阶谓词题逻辑
教学要求
在原有的基础上，掌握网逻辑，并在系统模拟中初步应用。
八．信息流结构（学时数：3）
1．信息流图
2．信息流图的网表示
3．实例
教学要求
在原有的基础上，掌握信息流结构，并在系统模拟中初步应用。
九．网拓扑（学时数：3）
1．传统拓扑
2．网拓扑
教学要求
在原有的基础上，掌握网拓扑，并在系统模拟中初步应用。。
十．并发论（学时数：3）
教学要求
在原有的基础上，掌握并发论，并在系统模拟中初步应用。。 十一。应用（学时数：3）
教学要求
讨论Petri网的应用。
编写者：吴永辉（副教授）
编写时间：2003年6月
百度搜索“爱华网”,专业资料,生活学习,尽在爱华网
