Petri网（硕士生）

研究生课程教学大纲

课程序号：                                   院（系、所）：计算机科学与工程系

一、           教学目标和教学要求：

本课程主要讲授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．并发论的公理系统。

三、           教学周历：

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