研究生课程教学大纲
课程序号： 院（系、所）：计算机科学与工程系
课程
名称
中文
Petri 网
英文
Petri Net
待分配课程编号
S00917
课程适用学位级别
硕士，博士
总学时
40
课内学时
40
学分
2
实践环节
用机小时
开课院(系)
计算机系
开课学期
秋季
考试方式
闭卷
课程负责人
教师
姓名
罗军舟
职称
教 授
jluo@seu.edu.cn
网页地址
http://cse.seu.edu.cn/people/jluo/
授课语言
汉语
课件地址
http://cse.seu.edu.cn/people/jluo/
适用学科范围
一级学科
适用学科名称
计算机科学与技术
实验(案例)个数
先修课程
离散数学，数理逻辑
教学用书
教材名称
教材编者
出版社
出版年月
版次
主要教材
Petri 网原理
袁崇义
电子工业出版社
1998年4月
1
主要参考书
随机Petri网和系统性能评价
林 闯
清华大学出版社
2000年1月
1
一、 教学目标和教学要求：
本课程主要讲授Petri网的基本概念、原理、方法和各种网系统，以及在计算机科学中的应用。
主要教学目标：
1．掌握Petri网的基本概念和原理；
2．掌握几种Petri网系统；
3．掌握Petri网的分析技术；
4．掌握运用Petri网对并行分布式系统的建模方法。
二、 教学大纲（含章节目录）：
第一章 网和网系统
1．网和网系统的概念；
2．变迁的发生规则；
3．网系统的分类。
第二章 基本网系统
1．EN系统的定义及变迁发生规则；
2．事件间的基本关系；
3．S-补和T-补操作。
第三章 库所/变迁系统
1．P/T系统的定义，变迁发生规则；
2．可达标识和可达标识集，可达标识树、可达标识图的构造算法；
3．进程的概念；
4．活性，公平性等性质和不变量的计算。
第四章 高级网系统
1．谓词/变迁网和有色网的定义及基本分析方法；
2．谓词/变迁网和有色网进行系统建模的过程。
第五章 C/E系统
1．C/E系统的定义以及C/E系统与EN系统的区别联系；
2．完备化操作。
第六章 同步论
1. 同步距离的定义及其含义;
2. 同步距离的计算;
3. 同步距离的性质。
第七章 网逻辑
1．网逻辑的结构；
2．网与命题逻辑；
3．网与谓词逻辑；
第八章 信息流结构
1．基本的信息流图；
2．信息流图的网表示。
第九章 网拓扑
网拓扑和网射的基本概念。
第十章 并发论
1．并发论的研究对象及研究目的;
2．并发论的公理系统。
三、 教学周历：
周次
教学内容（周学时3）
教学方式
1
网和网系统（3学时）
讲课
2
基本网系统（3学时）
讲课
3
P/T系统的基本概念和可达树（3学时）
讲课
4
P/T系统的进程和不变量（3学时）
讲课
5
谓词变迁网（3学时）
讲课
6
有色网（3学时）
讲课
7
C/E系统（3学时）
讲课
8
同步距离的定义（3学时）
讲课
9
同步距离的计算和性质（3学时）
讲课
10
网逻辑的结构（3学时）
讲课
11
网与命题逻辑，网与谓词逻辑（3学时）
讲课
12
信息流结构（3学时）
讲课
13
网拓扑和并发论（3学时）
讲课
14
15
16
17
18
说明：教学周历对博士研究生专业课暂不做要求。