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

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