Petri网(硕士生)

发布者:系统管理员发布时间:2018-12-14浏览次数:5512

 

研究生课程教学大纲

 

课程序号:                                   院(系、所):计算机科学与工程系

课程

名称

中文

Petri 网

英文

Petri Net

待分配课程编号

S00917

课程适用学位级别

硕士,博士

总学时

40

课内学时

40

学分

2

实践环节

 

用机小时

 

开课院(系)

计算机系

开课学期

秋季

考试方式

闭卷

课程负责人

教师

姓名

罗军舟

职称

 

e-mail

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

 

 

说明:教学周历对博士研究生专业课暂不做要求。