包郵電子商務(wù)系統(tǒng)的PETRI網(wǎng)建模理論與分析技術(shù)研究/同濟博士論叢

作者：杜玉越

出版社：同濟大學出版社出版時間：2019-04-01

開本：其他頁數(shù)： 214

本類榜單：計算機/網(wǎng)絡(luò)銷量榜

中圖價:¥51.4(7.3折) 定價 ~~¥70.0~~ 登錄后可看到會員價

加入購物車收藏

開年大促， 全場包郵

?新疆、西藏除外

本類五星書更多>

>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應(yīng)用

全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應(yīng)用

¥14.4¥45
>
決戰(zhàn)行測5000題(言語理解與表達)

決戰(zhàn)行測5000題(言語理解與表達)

¥44.1¥88
>
軟件性能測試.分析與調(diào)優(yōu)實踐之路

軟件性能測試.分析與調(diào)優(yōu)實踐之路

¥56.2¥69
>
第一行代碼Android

第一行代碼Android

¥55.4¥99
>
JAVA持續(xù)交付

JAVA持續(xù)交付

¥58.1¥119
>
EXCEL最強教科書(完全版)(全彩印刷)

EXCEL最強教科書(完全版)(全彩印刷)

¥31.1¥69.9
>
深度學習

深度學習

¥92.4¥168

商品詳情
商品評論(0條)

中圖價:¥51.4 加入購物車

版權(quán)信息
本書特色
內(nèi)容簡介
目錄

電子商務(wù)系統(tǒng)的PETRI網(wǎng)建模理論與分析技術(shù)研究/同濟博士論叢版權(quán)信息

ISBN：9787560880174
條形碼：9787560880174 ; 978-7-5608-8017-4
裝幀：一般膠版紙
冊數(shù)：暫無
重量：暫無
所屬分類：
計算機/網(wǎng)絡(luò)
>
程序設(shè)計
>
其他

電子商務(wù)系統(tǒng)的PETRI網(wǎng)建模理論與分析技術(shù)研究/同濟博士論叢本書特色

本文在對大量現(xiàn)有電子系統(tǒng)形式化方法分析的基礎(chǔ)上，根據(jù)電子系統(tǒng)的具體特點，綜合應(yīng)用Petri網(wǎng)、時序邏輯、工作流等分析技術(shù)，提出并研究了用于電子系統(tǒng)時序性質(zhì)分析的時序（不錯）Petri網(wǎng)方法、批處理功能及傳值不確定性分析的邏輯工作流網(wǎng)方法、實時性質(zhì)分析的邏輯時間工作流網(wǎng)方法和主體責任與證據(jù)分析的標注工作流網(wǎng)方法。同時，從理論上研究了這些方法的主要性質(zhì)，得到一系列重要結(jié)果。

電子商務(wù)系統(tǒng)的PETRI網(wǎng)建模理論與分析技術(shù)研究/同濟博士論叢內(nèi)容簡介

本文在對大量現(xiàn)有電子商務(wù)系統(tǒng)形式化方法分析的基礎(chǔ)上，根據(jù)電子商務(wù)系統(tǒng)的具體特點，綜合應(yīng)用Petri網(wǎng)、時序邏輯、工作流等分析技術(shù)，提出并研究了用于電子商務(wù)系統(tǒng)時序性質(zhì)分析的時序（不錯）Petri網(wǎng)方法、批處理功能及傳值不確定性分析的邏輯工作流網(wǎng)方法、實時性質(zhì)分析的邏輯時間工作流網(wǎng)方法和主體責任與證據(jù)分析的標注工作流網(wǎng)方法。同時，從理論上研究了這些方法的主要性質(zhì)，得到一系列重要結(jié)果。

電子商務(wù)系統(tǒng)的PETRI網(wǎng)建模理論與分析技術(shù)研究/同濟博士論叢目錄

總序論叢前言前言第1章緒論 1.1 電子商務(wù) 1.1.1 電子商務(wù)定義 1.1.2 電子商務(wù)系統(tǒng)體系 1.2 電子商務(wù)系統(tǒng)的特點 1.3 工作流管理系統(tǒng) 1.3.1 基本概念 1.3.2 體系結(jié)構(gòu) 1.3.3 電子商務(wù)中的工作流 1.4 電子商務(wù)系統(tǒng)形式化技術(shù)綜述 1.4.1 一般形式化方法 1.4.2 基于邏輯的方法 1.4.3 基于Petri網(wǎng)的方法 1.4.4 基于工作流網(wǎng)的方法 1.4.5 四類形式化方法比較及本書工作的重要性 1.5 約定和假設(shè) 1.6 本書的研究動機和貢獻 1.6.1 研究動機 1.6.2 主要研究內(nèi)容 1.6.3 主要貢獻第2章基本知識 2.1 Petri網(wǎng)(PN) 2.1.1 Petri網(wǎng)概念 2.1.2 Petri網(wǎng)性質(zhì) 2.1.3 謂詞／變遷(Pr/T)網(wǎng) 2.1.4 有色Petri網(wǎng)((2PN) 2.1.5 時間Petri網(wǎng)(TPN) 2.2 時序邏輯 2.2.1 基本概念 2.2.2 時序邏輯系統(tǒng) 2.3 工作流網(wǎng) 2.3.1 形式定義 2.3.2 工作流網(wǎng)性質(zhì) 第3章電子商務(wù)系統(tǒng)時序性質(zhì)分析與驗證 3.1 時序性質(zhì) 3.1.1 公平性 3.1.2 *終性 3.2 時序Petri網(wǎng) 3.2.1 形式定義 3.2.2 性質(zhì)分析 3.3 時序**Petri網(wǎng) 3.3.1 時序有色Petri網(wǎng) 3.3.2 時序謂詞／變遷網(wǎng) 3.4 案例分析 3.4.1 一個網(wǎng)上證券交易系統(tǒng) 3.4.2 證券交易系統(tǒng)的時序Petri網(wǎng)模擬與分析 3.4.3 證券交易系統(tǒng)的時序有色Petri網(wǎng)模擬與分析

展開全部

商品評論(0條)

寫書評賺書幣

暫無評論……

書友推薦