| 作 者： | Claude Girault Rudiger Valk 王生原 余鹏 霍金健 |
| 出版社： | 电子工业出版社 |
| 丛编项： | 国外计算机科学教材系列 |
| 版权说明： | 本书为公共版权或经版权方授权，请支持正版图书 |
| 标 签： | 教材 网络与通讯 计算机与互联网 |
| ISBN | 出版时间 | 包装 | 开本 | 页数 | 字数 |
|---|---|---|---|---|---|
| 未知 | 暂无 | 暂无 | 未知 | 0 | 暂无 |
第一部分 Petri网——基本概念
第1章 引言
第2章 Petri网的实质特征
2.1 局部确定性和并发
2.2 图形表示和代数表示
2.3 并发、冲突和混惑
2.4 细化和组合
2.5 网射
第3章 直观模型
3.1 常量弧网
3.2 库所／变迁网
3.3 有色网
3.4 折叠
第4章 基本定义
4.1 库所／变迁网的形式化定义
4.2 常量弧网的形式化定义
4.3 有色网的形式化定义
第5章 性质
5.1 基本性质
5.2 分析方法介绍
第6章 本书总览
第二部分 建 模
第7章 引言
第8章 实例解说建模和分析技术
8.1 网、优化和抽象
8.2 库所／变迁网和资源管理
8.3 有色网、抽象和展开
第9章 技术
9.1 构建块
9.2 结合网
9.3 高级网
9.4 分解网
9.5 小结
第10章 方法
10.1 面向状态建模
10.2 面向事件的建模
10.3 面向对象建模
第11章实例研究
11.1 面向状态的方法
11.2 面向事件的方法
11.3 面向对象方法
第12章 小结
第三部分 验 证
第13章 引言：验证所涉及的问题
13.1 网的分类
13.2 性质
13.3 方法分类
13.4 验证过程
13.5 概述
第14章 基于状态空间的方法与模型检验
14.1 性质、时态逻辑及公平性
14.2 On—the—nv方法
14.3 基于偏序的方法
14.4 符号化和参数化方法
14.5 实现问题
14.6 综合及一般性总结评注
第15章 结构方法
15.1 网系统归约
15.2 线性代数技术
15.3 虹吸和陷阱
15.4 网子类的分析
15.5 不变量和有色Petri网的归约
第16章 演绎与基于进程代数的方法
16.1 代数网的重写语义
16.2 断言推理
16.3 授权逻辑
16.4 线性逻辑和Petri网
16.5 利用进程代数验证Petri网模型
第17章 小结
第四部分 确认和执行
第18章 引言
第19章 系统工程和确认
19.1 软件生命周期和确认
19.2 确认
19.3 一种方法——原型建立
19.4 工具
第20章 网的运行
20.1 集中控制
20.2 将控制分发给库所
20.3 将控制分发给边
20.4 多线程和同步
20.5 异步
20.6 小结
第21章 代码生成
21.1 对于代码生成的Petri网方法
21.2 Petri网的划分算法
21.3 Petri网中代码生成的一些方面
21.4 高级网中的代码生成
21.5 小结
第22章 小结
第五部分 应用领域
第23章 引言
23.1 工作中应用Petri网
23.2 应用领域
第24章 柔性制造系统
24.1 领域概览
24.2 在FMS中使用Petri网
24.3 设计方法
24.4 小结
第25章 工作流系统
25.1 领域概述
25.2 动机
25.3 设计方法学
25.4 工作流分析
25.5 实例学习：Sagitta-2000案例
25.6 小结
第26章 电信系统
26.1 领域概述
26.2 动机
26.3 设计方法学
26.4 分析
26.5 小结
第27章 小结
27.1 公共建模问题
27.2 共享的分析结果
术语表
参考文献
