自动制造系统建模、分析与死锁控制

图书标准信息

• 作者 李志武、周孟初 著
• 出版社 科学出版社
• 出版时间 2009-03
• 版次 1
• ISBN 9787030242792
• 定价 48.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 213页
• 字数 271千字
• 正文语种 简体中文
• 丛书 21世纪先进制造技术丛书

【内容简介】

自动制造系统的死锁控制是近二十年来生产自动化科学与工程领域研究的热点问题。图论、自动机和Petri网是这一领域研究的主要数学方法，其中以Petri网技术的应用最为广泛。
《自动制造系统建模，分析与死锁控制》阐述了基于Petri网理论的自动制造系统的死锁预防策略，反映了这一领域的重要成果和最新进展。内容主要包括Petri网的基本信标理论，基于信标的死锁控制策略，基于可达图的死锁控制方法，活性Petri网控制器的结构化简方法以及计算机科学中著名的分治策略在活性Petri网控制器设计中的应用。
《自动制造系统建模，分析与死锁控制》可供从事自动制造系统设计与控制的研究人员与工程师参考，并可作为高等院校相关专业高年级本科生和研究生的教材。

【目录】

《21世纪先进制造技术丛书》序
前言
符号表
第1章绪论
1.1自动制造系统
1.2自动制造系统的Petri网模型
1.3死锁控制方法
1.4小结
第2章Petri网基本理论
2.1多集
2.2基本定义
2.3结构不变式
2.4信标和陷阱
2.5可达图
2.6Petri网的基本子类
2.7自动机
2.8Petri网模型、控制器和受控系统
2.9广义相互抑制约束
2.10小结
第3章Petri网的基本信标
3.1等价信标
3.2基本信标
3.3从属信标的可控性
3.4基本信标的选择
3.5小结
第4章基于信标的死锁预防策略
4.1S3PR网的控制
4.1.1信标枚举法
4.1.2基本信标法
4.1.3部分信标枚举方法
4.1.4部分信标枚举方法的改进
4.1.5控制库所后置集的改进设计
4.2S3PGR2网的控制
4.2.1S4R网的定义以及C／D-RUN策略
4.2.2算例
4.3G-system的控制
4.3.1G-system的定义
4.3.2G-system中从属信标可控性
4.3.3死锁控制策略
4.3.4算例
4.4小结
第5章基于可达图的死锁预防策略
5.1优化的活性Petri网控制器设计
5.1.1区域理论的Petri网诠释
5.1.2应用实例
5.2基于信标控制和区域理论的活性Petri网控制器
5.3次优化的活性Petri网控制器设计
5.3.1无死锁初始标识
5.3.2死锁预防策略
5.3.3算例
5.4信标选择与死锁控制
5.4.1控制信标选择的集合覆盖方法
5.4.2关键标识的选择
5.4.3迭代的信标控制方法
5.4.4算例
5.5小结
第6章活性Petri网控制器的简化
6.1基于隐式库所的方法
6.1.1隐式库所
6.1.2剔除隐式库所算法
6.1.3活性受限库所的剔除
6.2基于可达图的方法
6.2.1基于可达图的冗余性测试
6.2.2算例
6.3小结
第7章死锁控制的分治策略
7.1问题求解的分治策略
7.2Petri网的分解
7.3子控制器设计与全局控制器综合
7.4算例
7.5实验研究
7.6小结
参考文献