系统工程Petri网：建模、验证与应用指南

图书标准信息

• 作者 吉奥特 著
• 出版社 电子工业出版社
• 出版时间 2005-06
• 版次 1
• ISBN 9787121007811
• 定价 53.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 447页
• 字数 736千字

【内容简介】

　　本书是一本关于Petri网的建模、验证与应用的优秀的教学与研究参考书。全书分为5个部分共27章，首先讲解了Petri网的基本概念，通过实例介绍了常量弧网、库所/变迁网和有色网的基本定义。作者接着讨论了如何应用Petri网来构造系统，并给出了各种建模的方法。书中介绍了对Petri网模型进行验证的主要方法，其中包括基于状态空间的方法和模型检验、结构方法以及使用演绎和进程代数的一些高级方法；讲解了Petri网的确认和执行，其中不仅涉及到软件生命周期的相关内容，而且详细介绍了在复杂系统的开发过程中如何使用Petri网进行建模和分析。最后，作者对Petri网的三个不同应用领域（柔性制造系统、工作流管理系统和电信系统）进行了深入的研究。本书的内容全面，结构清晰，并通过大量实例讲解了各种概念、方法与应用。
　　本书可以作为计算机相关专业本科生和研究生的教材或参考书，也可作为从事软件系统研究的人员的宝贵参考资料。

【作者简介】

　　袁崇义，北京大学计算机系教授、博士生导师，中国计算机学会理事，Petri网专业委员会主任，主要出版著作有《Petri网原理》。袁崇义教授的研究方向有：Petri网的基本理论，包括同步论和网逻辑；Petri网应用，特别是在并行计算方面的应用和工作流方面的应用；并行计算的基本理论，以UNITY为基础的并行模型和并行算法，UNITY逻辑系统，以及UNITY与Petri网的结合。

【目录】

第一部分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.2On—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.2Petri网的划分算法
21.3Petri网中代码生成的一些方面
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共享的分析结果
术语表
参考文献