基于Petri網(wǎng)精煉的系統(tǒng)建模與分析（精）

總序
論叢前言
前言
第1章 緒論
1．1 Petri網(wǎng)理論發(fā)展與應用
1．2 系統(tǒng)建模與分析的Petri網(wǎng)方法
1．2．1 合成與分解
1．2．2 精煉與抽象
1．2．3 化簡
1．3 Petri網(wǎng)精煉
1．4 研究動機與主要貢獻
1．4．1 研究動機及主要研究內(nèi)容
1．4．2 主要貢獻
1．5 內(nèi)容組織
第2章 基礎知識
2．1 Petri網(wǎng)
2．1．1 Petri網(wǎng)定義
2．1．2 Petri網(wǎng)的結(jié)構(gòu)和動態(tài)性質(zhì)
2．2 語言及其運算
2．3 網(wǎng)的精煉操作
第3章 Petri網(wǎng)的精煉操作及其動態(tài)性質(zhì)
3．1 Petri網(wǎng)的精煉操作
3．2 精煉Petri網(wǎng)的動態(tài)性質(zhì)
3．3 基于庫所的精煉操作
3．4 順序資源共享系統(tǒng)示例
3．5 本章小結(jié)
第4章 精煉Petri網(wǎng)的子系統(tǒng)相關性
4．1 k-有序網(wǎng)系統(tǒng)的性質(zhì)
4．2 精煉Petri網(wǎng)的子系統(tǒng)相關性
4．2．1 子系統(tǒng)一致相關
4．2．2 子系統(tǒng)受控相關
4．2．3 子系統(tǒng)溢出相關
4．3 應用示例
4．4 本章小結(jié)
第5章 工作流網(wǎng)的精煉操作
5．1 工作流網(wǎng)的精煉操作
5．1．1 工作流網(wǎng)
5．1．2 工作流網(wǎng)的精煉操作
5．2 精煉工作流網(wǎng)的動態(tài)性質(zhì)
5．2．1 結(jié)構(gòu)保持性
5．2．2 行為保持性
5．2．3 性質(zhì)保持性
5．3 示例
5．4 工作流集成建模與分析
5．4．1 交通信息服務網(wǎng)格系統(tǒng)簡述
5．4．2 分層工作流模型
5．4．3 工作流集成模型
5．5 本章小結(jié)
第6章 時間Petri網(wǎng)的精煉操作
6．1 時間Petri網(wǎng)的精煉操作
6．1．1 時間Petri網(wǎng)
6．1．2 時間Petri網(wǎng)的精煉操作
6．2 時間Petri網(wǎng)精煉操作的行為和性質(zhì)保持性
6．2．1 行為保持性
6．2．2 性質(zhì)保持性
6．3 精煉時間Petri網(wǎng)的可達性判定
6．4 示例
6．5 本章小結(jié)
第7章 Web組合服務的混合建模及其分析方法
7．1 基于同步合成技術的自底向上的建模及其分析方法
7．2 基于OWL-S的組合服務模型
7．2．1 控制流網(wǎng)
7．2．2 數(shù)據(jù)流網(wǎng)
7．2．3 組合服務的集成模型
7．3 組合Web服務的混合建模及其驗證
7．3．1 建模方法
7．3．2 基于建模方法的驗證
7．4 示例：在線購書服務BuyOnline
7．5 相關工作
7．6 本章小結(jié)
第8章 結(jié)論與展望
8．1 結(jié)論
8．2 進一步研究工作
參考文獻
后記