Petri網(wǎng)應(yīng)用

定　價：￥50.00

作　者：	袁崇義著
出版社：	科學(xué)出版社
叢編項(xiàng)：	信息科學(xué)技術(shù)學(xué)術(shù)著作叢書
標(biāo)　簽：	計(jì)算機(jī)與互聯(lián)網(wǎng) 網(wǎng)絡(luò)與通信

購買這本書可以去

ISBN：	9787030366375	出版時間：	2013-02-01	包裝：	平裝
開本：	16開	頁數(shù)：	223	字?jǐn)?shù)：

內(nèi)容簡介

　　《信息科學(xué)技術(shù)學(xué)術(shù)著作叢書：Petri網(wǎng)應(yīng)用》以幫助讀者用好Petri網(wǎng)為目的，以實(shí)例深入淺出地介紹Petri網(wǎng)，包括（定性與定量的）靜態(tài)結(jié)構(gòu)、動態(tài)性質(zhì)和分析方法等。作者將30余年來對Petri網(wǎng)理論的學(xué)習(xí)、研究和實(shí)踐凝聚到《信息科學(xué)技術(shù)學(xué)術(shù)著作叢書：Petri網(wǎng)應(yīng)用》中，刪繁就簡，希望Petri網(wǎng)理論能被讀者接受?！缎畔⒖茖W(xué)技術(shù)學(xué)術(shù)著作叢書：Petri網(wǎng)應(yīng)用》可作為計(jì)算機(jī)科學(xué)及相關(guān)專業(yè)的本科生和研究生教材，適合各領(lǐng)域?qū)etri網(wǎng)感興趣的科研人員、教師以及軟件開發(fā)人員學(xué)習(xí)和參考。

作者簡介

暫缺《Petri網(wǎng)應(yīng)用》作者簡介

圖書目錄

《信息科學(xué)技術(shù)學(xué)術(shù)著作叢書》序
序
前言

第一章引子：基本觀點(diǎn)
第二章有向網(wǎng)與網(wǎng)系統(tǒng)
2.1 網(wǎng)模型的靜與動
2.1.1 有向網(wǎng)：兩類元素，兩種關(guān)系
2.1.2 變遷規(guī)則：資源分布，容量
2.1.3 網(wǎng)系統(tǒng)：異步并發(fā)
2.1.4 局限：普適和效率
2.1.5 實(shí)例
2.2 形式定義
2.3 網(wǎng)系統(tǒng)層次
2.4 形式異化

第三章網(wǎng)系統(tǒng)的性質(zhì)和通用分析方法
3.1 動態(tài)性質(zhì)
3.1.1 基本現(xiàn)象
3.1.2 動態(tài)性質(zhì)——從實(shí)例人手
3.1.3 活性
3.1.4 公平性
3.1.5 有界性
3.2 分析方法
3.2.1 覆蓋樹和覆蓋圖
3.2.2 進(jìn)程和進(jìn)程塊
3.3 結(jié)構(gòu)性質(zhì)
3.3.1 不變量
3.3.2 語義不變量
3.3.3 其他結(jié)構(gòu)性質(zhì)
3.3.4 結(jié)構(gòu)分析

第四章高級網(wǎng)系統(tǒng)
4.1 謂詞／變遷系統(tǒng)
4.1.1 概念及定義
4.1.2 謂詞／變遷系統(tǒng)之性質(zhì)和分析方法
4.2 有色網(wǎng)系統(tǒng)
4.2.1 概述及定義
4.2.2 有色網(wǎng)性質(zhì)及分析方法
4.3 自控網(wǎng)系統(tǒng)
4.3.1 概述及定義
4.3.2 自控網(wǎng)系統(tǒng)的性質(zhì)與分析方法
4.3.3 自控網(wǎng)系統(tǒng)的不變量

第五章電梯控制
5.1 一部電梯：變遷外延分析
5.1.1 著眼點(diǎn)：一個樓層
5.1.2 按鈕
5.1.3 完整的樓層變遷
5.1.4 補(bǔ)遺拾漏
5.2 一部電梯組裝：庫所分析
5.2.1 單層樓組裝：初裝
5.2.2 庫所局部
5.2.3 所有樓層組裝：性質(zhì)分析
5.3 N部電梯組裝
5.4 電梯系統(tǒng)的有色網(wǎng)表示
5.4.1 一部電梯的顏色
5.4.2 有色網(wǎng)上的四類有向弧

第六章同步距離
6.1 什么是同步距離
6.2 同步距離定義及計(jì)算
6.3 同步距離應(yīng)用
6.3.1 過程控制和系統(tǒng)規(guī)范
6.3.2 同步距離與公平

第七章 C_net
第八章工作流
第九章通用網(wǎng)論
第十章四季與八卦
參考文獻(xiàn)
附錄