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．并發論的公理系統。

三、           教學周曆：

說明：教學周曆對博士研究生專業課暫不做要求。