同济博士论丛 电子商务系统的PETRI网建模理论与分析技术研究2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

同济博士论丛 电子商务系统的PETRI网建模理论与分析技术研究PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 绪论1

1.1 电子商务1

1.1.1 电子商务定义1

1.1.2 电子商务系统体系3

1.2 电子商务系统的特点6

1.3 工作流管理系统9

1.3.1 基本概念9

1.3.2 体系结构11

1.3.3 电子商务中的工作流13

1.4 电子商务系统形式化技术综述15

1.4.1 一般形式化方法16

1.4.2 基于逻辑的方法18

1.4.3 基于Petri网的方法20

1.4.4 基于工作流网的方法22

1.4.5 四类形式化方法比较及本书工作的重要性24

1.5 约定和假设29

1.6 本书的研究动机和贡献30

1.6.1 研究动机30

1.6.2 主要研究内容33

1.6.3 主要贡献35

第2章 基本知识36

2.1 Petri网（PN）36

2.1.1 Petri网概念37

2.1.2 Petri网性质41

2.1.3 谓词/变迁（Pr/T）网42

2.1.4 有色Petri网（CPN）44

2.1.5 时间Petri网（TPN）47

2.2 时序逻辑49

2.2.1 基本概念49

2.2.2 时序逻辑系统51

2.3 工作流网52

2.3.1 形式定义52

2.3.2 工作流网性质53

第3章 电子商务系统时序性质分析与验证57

3.1 时序性质57

3.1.1 公平性57

3.1.2 最终性59

3.2 时序Petri网59

3.2.1 形式定义60

3.2.2 性质分析62

3.3 时序高级Petri网63

3.3.1 时序有色Petri网64

3.3.2 时序谓词/变迁网66

3.4 案例分析69

3.4.1 一个网上证券交易系统69

3.4.2 证券交易系统的时序Petri网模拟与分析74

3.4.3 证券交易系统的时序有色Petri网模拟与分析86

3.4.4 证券交易系统的时序谓词/变迁网模拟与分析101

第4章 批处理功能及传值不确定性分析106

4.1 批处理功能107

4.2 传值不确定性108

4.3 逻辑Petri网（LPN）109

4.3.1 形式定义110

4.3.2 逻辑Petri网与PN和HLPN之间的关系114

4.4 逻辑工作流网115

4.4.1 形式定义115

4.4.2 构造算法116

4.4.3 逻辑工作流网的性质117

4.5 组织间逻辑工作流网及其性质122

第5章 实时性质模拟与验证技术127

5.1 电子商务系统的实时性质127

5.2 逻辑时间Petri网129

5.2.1 时间Petri网的时序公式语义129

5.2.2 形式定义130

5.2.3 LTPN与TPN和有色TPN的比较134

5.3 逻辑时间工作流网136

5.3.1 形式定义137

5.3.2 性质分析139

5.4 组织间逻辑时间工作流网142

5.4.1 形式定义143

5.4.2 ILTWfN的健壮性分析145

第6章 主体责任及证据模拟分析153

6.1 主体责任154

6.2 不可否认与证据155

6.3 标注Petri网156

6.3.1 一个简单的电子采购系统156

6.3.2 形式定义158

6.4 标注工作流网163

6.4.1 形式定义163

6.4.2 健壮性和无阻塞性165

6.5 组织间标注工作流网167

6.5.1 形式定义168

6.5.2 性质分析170

6.6 责任与证据的形式分析177

6.6.1 责任分析177

6.6.2 证据180

6.7 应用实例182

6.7.1 IOTP购买交易183

6.7.2 购买交易的标注工作流网模型185

6.7.3 购买交易性质分析190

第7章 总结和展望196

7.1 本书总结196

7.2 进一步的研究工作198

参考文献200

后记214