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

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