S 3 PR网的同步与控制研究

发布时间：2021-01-09 14:25

　　Petri网作为一种将图形描述与数学分析相结合的工具,特别适合对离散事件系统进行建模、分析和控制。Petri网用于制造系统建模的一个优势就是它可以简单准确地对系统中的并发、冲突、因果等特性进行描述。相较与其它方法,从结构角度对系统进行分析主要有两个优点:并发系统中的状态爆炸问题能够得以避免;对系统结构和行为之间的关系进行研究可对系统本身有更深刻的理解。系统的活性和信标之间有着非常密切的联系。本文从K-系统的结构和行为角度出发,对其信标和活性之间的关系进行了研究,在K-系统现有结构条件基础上,提出一种新的充分的结构条件:当一个网在结构上满足该条件时,可以确定该网的可控信标性和活性等价。在一定程度上扩展了具有上述特性的网的结构范围。面向过程的自动制造系统往往要求不同加工过程之间能够进行信息交互,通过合作共同完成某个任务。然而在一些柔性制造系统中,加工过程之间的交互仅仅局限于共享的资源库所。本文以S³PR网为模型,对其不同加工过程之间的同步进行研究,不同加工过程之间通过异步的传递信息进行交互从而实现合作的目的。采用添加消息库所的方式对S³PR网内部... 

【文章来源】：西安电子科技大学陕西省 211工程院校 教育部直属院校

【文章页数】：85 页

【学位级别】：硕士

【文章目录】：
摘要
ABSTRACT
符号对照表
缩略语对照表
第一章 绪论
    1.1 研究背景
    1.2 研究意义
    1.3 本文的组织结构
第二章 Petri网的基本理论
    2.1 Petri网的基本概念
    2.2 Petri网的基本性质
    2.3 Petri网的子类
        2.3.1 Petri网的基本子类
3PR网">        2.3.2 S³PR网
    2.4 K-系统
        2.4.1 K-系统的定义
        2.4.2 有序系统
        2.4.3 死闭合系统
        2.4.4 根系统
        2.4.5 同步的死闭合系统
    2.5 小结
3PR网活性的初始标识的求解">第三章 确保S³PR网活性的初始标识的求解
3PR网的活性和可控信标性">    3.1 S³PR网的活性和可控信标性
    3.2 实例
    3.3 小结
3PR网的同步">第四章 S³PR网的同步
    4.1 同步
3PR网内部过程的同步">    4.2 S³PR网内部过程的同步
3PR网同步后的可控信标性和活性等价关系研究">    4.3 S³PR网同步后的可控信标性和活性等价关系研究
    4.4 消息库所添加位置对子网可达状态的影响
    4.5 小结
第五章 同步的应用：物流系统模型
    5.1 各级站点模型
    5.2 物流系统整体模型
    5.3 小结
第六章 总结与展望
    6.1 论文总结
    6.2 研究展望
参考文献
致谢
作者简介


【参考文献】：
期刊论文
[1]Petri网理论在物流管理中的应用研究综述[J]. 张梅青,周叶.  物流技术. 2010(07)
[2]Petri网合成理论及应用综述[J]. 王琦,韩江洪,王青山.  计算机仿真. 2008(12)
[3]一种Petri网合成方法及其在系统建模中的应用[J]. 夏传良.  系统仿真学报. 2006(02)
[4]面向制造过程的工作流建模[J]. 周万坤,朱剑英.  机械科学与技术. 2004(02)
[5]一种基于同步合成Petri网的FMS建模方法[J]. 王化冰.  系统工程理论与实践. 2001(02)

博士论文
[1]Petri网基本信标的求取算法及死锁避免策略研究[D]. 王安荣.西安电子科技大学 2009



本文编号：2966824