同济博士论丛 电子商务系统的PETRI网建模理论与分析技术研究PDF电子书下载
- 电子书积分:10 积分如何计算积分?
- 作 者:蒋昌俊审;杜玉越著
- 出 版 社:上海:同济大学出版社
- 出版年份:2018
- ISBN:7560880174
- 页数:214 页
第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
- 《电子测量与仪器》人力资源和社会保障部教材办公室组织编写 2009
- 《SQL与关系数据库理论》(美)戴特(C.J.Date) 2019
- 《联吡啶基钌光敏染料的结构与性能的理论研究》李明霞 2019
- 《少儿电子琴入门教程 双色图解版》灌木文化 2019
- 《情报学 服务国家安全与发展的现代情报理论》赵冰峰著 2018
- 《英汉翻译理论的多维阐释及应用剖析》常瑞娟著 2019
- 《新课标背景下英语教学理论与教学活动研究》应丽君 2018
- 《党员干部理论学习培训教材 理论热点问题党员干部学习辅导》(中国)胡磊 2018
- 《虚拟流域环境理论技术研究与应用》冶运涛蒋云钟梁犁丽曹引等编著 2019
- 《当代翻译美学的理论诠释与应用解读》宁建庚著 2019
- 《国有企业产权制度改革的逻辑与新问题研究》刘明越著 2018
- 《幽灵粒子 透视未知的宇宙=MASATOSHI KOSHIBA》(日)小柴昌俊著 2020
- 《精准扶贫精准脱贫百村调研》梁春梅,胡冰川,李越著 2018
- 《电子商务系统的Petri网建模理论与分析技术研究》杜玉越 2003
- 《设计构成》吴萍,邓怀东主编;刘媛媛,马海红副主编;杜玉彩,徐娜子,李倩茹等编写;张国崴主审 2012
- 《世界绘画经典教程跟巴伯学素描》(英)巴林顿·巴伯著;易洪霖,杜玉敏译 2013
- 《筚路蓝缕 铸就辉煌 何东昌与清华大学工程物理系》刘超,李越著 2013
- 《文化人类学视野中的现代日本地域艺术文化研究 以蕨座剧团为个案》侯越著 2013
- 《团队情商》张新越著 2014
- 《情商力 发展.成功与幸福的第一关键》张新越著 2013