扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
电子商务系统的PETRI网建模理论与分析技术研究/同济博士论丛 版权信息
- ISBN：9787560880174
- 条形码：9787560880174 ; 978-7-5608-8017-4
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>>
电子商务系统的PETRI网建模理论与分析技术研究/同济博士论丛 本书特色
本文在对大量现有电子系统形式化方法分析的基础上，根据电子系统的具体特点，综合应用Petri网、时序逻辑、工作流等分析技术，提出并研究了用于电子系统时序性质分析的时序（不错）Petri网方法、批处理功能及传值不确定性分析的逻辑工作流网方法、实时性质分析的逻辑时间工作流网方法和主体责任与证据分析的标注工作流网方法。同时，从理论上研究了这些方法的主要性质，得到一系列重要结果。
电子商务系统的PETRI网建模理论与分析技术研究/同济博士论丛 内容简介
本文在对大量现有电子商务系统形式化方法分析的基础上，根据电子商务系统的具体特点，综合应用Petri网、时序逻辑、工作流等分析技术，提出并研究了用于电子商务系统时序性质分析的时序（不错）Petri网方法、批处理功能及传值不确定性分析的逻辑工作流网方法、实时性质分析的逻辑时间工作流网方法和主体责任与证据分析的标注工作流网方法。同时，从理论上研究了这些方法的主要性质，得到一系列重要结果。
电子商务系统的PETRI网建模理论与分析技术研究/同济博士论丛 目录
总序
论丛前言
前言
第1章 绪论
1.1 电子商务
1.1.1 电子商务定义
1.1.2 电子商务系统体系
1.2 电子商务系统的特点
1.3 工作流管理系统
1.3.1 基本概念
1.3.2 体系结构
1.3.3 电子商务中的工作流
1.4 电子商务系统形式化技术综述
1.4.1 一般形式化方法
1.4.2 基于逻辑的方法
1.4.3 基于Petri网的方法
1.4.4 基于工作流网的方法
1.4.5 四类形式化方法比较及本书工作的重要性
1.5 约定和假设
1.6 本书的研究动机和贡献
1.6.1 研究动机
1.6.2 主要研究内容
1.6.3 主要贡献
第2章 基本知识
2.1 Petri网(PN)
2.1.1 Petri网概念
2.1.2 Petri网性质
2.1.3 谓词／变迁(Pr/T)网
2.1.4 有色Petri网((2PN)
2.1.5 时间Petri网(TPN)
2.2 时序逻辑
2.2.1 基本概念
2.2.2 时序逻辑系统
2.3 工作流网
2.3.1 形式定义
2.3.2 工作流网性质
第3章 电子商务系统时序性质分析与验证
3.1 时序性质
3.1.1 公平性
3.1.2 *终性
3.2 时序Petri网
3.2.1 形式定义
3.2.2 性质分析
3.3 时序**Petri网
3.3.1 时序有色Petri网
3.3.2 时序谓词／变迁网
3.4 案例分析
3.4.1 一个网上证券交易系统
3.4.2 证券交易系统的时序Petri网模拟与分析
3.4.3 证券交易系统的时序有色Petri网模拟与分析
展开全部
书友推荐
- >
【精装绘本】画给孩子的中国神话
【精装绘本】画给孩子的中国神话
¥17.6¥55.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥16.0¥45.8 - >
自卑与超越
自卑与超越
¥13.5¥39.8 - >
推拿
推拿
¥12.2¥32.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥40.6¥58.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥20.4¥49.8 - >
上帝之肋:男人的真实旅程
上帝之肋:男人的真实旅程
¥19.3¥35.0 - >
月亮虎
月亮虎
¥15.4¥48.0
本类畅销
-
参数化逻辑构建过程
¥34.2¥118 -
构建之法
¥48.3¥69 -
App Inventor趣味游戏编程
¥34.8¥43 -
区块链开发从入门到精通 以太坊+超级账本
¥55.9¥79.8 -
App Inventor创意趣味编程
¥27.3¥39 -
2022图书×抽奖盲袋
¥9.9¥25
