S~3PR网线性控制器控制库所数目与初始标识关系研究

发布时间：2020-04-30 23:27

【摘要】：在自动化生产系统的实际运行过程中,可能会存在资源分配不当的情况,使得系统陷入死锁状态,进而导致系统无法运行,严重时会造成重大经济损失甚至是灾难。因此死锁问题是自动化生产系统在设计之初就必须要考虑的和解决的问题。Petri网作为一种建模工具,在自动化生产系统的建模、分析等方面有着广泛的应用。而在死锁的分析与控制方面,Petri网的死锁控制方式可以分为两类:基于可达图的分析方式和基于结构的分析方式。本文基于可达图和基于结构两种分析方式,探讨在改变S~3PR网初始标识的情况下,给网系统添加线性控制器,使得网系统获得最大许可行为时,两种方式需要的控制库所数量与初始标识的关系。主要完成的工作有:1.在S~3PR网不含ξ资源时,介绍其最大许可行为控制器控制库所数量与初始标识的关系,即无论是基于结构还是基于可达图的方式,最大许可行为控制器控制库所数量都不会超过严格极小信标的个数。2.在已有ξ资源概念的基础上,提出了双元ξ资源的概念,并证明了S~3PR网在只含双元ξ资源时,控制其严格极小信标不被清空就可得到最大许可行为控制器。这意味着无论使用哪种控制方式,其最大许可行为控制器控制库所数量都不会超过严格极小信标个数。3.对ξ资源的概念进一步扩展,给出了单元ξ资源的定义,并证明了S~3PR网在不含单元ξ资源时,控制其严格极小信标不被清空就可得到最大许可行为控制器。随后介绍了一种含有单元ξ资源的特殊情况,即活区标识集合是非凸的S~3PR网,该网无法通过添加线性控制器的方式得到最大许可行为。
【学位授予单位】：西安电子科技大学
【学位级别】：硕士
【学位授予年份】：2019
【分类号】：TP13;TP301.1

【相似文献】

相关期刊论文 前10条

1 高梅梅;吴智铭;;模糊时间Petri网及其时间推理方法[J];计算机科学;2000年07期

2 乐晓波,葛敬军;自动制造系统设计和仿真中的死锁控制[J];计算机工程;2005年04期

3 黄映辉;李冠宇;;高级Petri网:基于ISO/IEC15909的理解[J];系统仿真学报;2007年S1期

4 段华;曾庆田;;S-网的进程表达式及求取方法研究[J];计算机科学;2006年10期

5 吴振寰;于枫;吴哲辉;;Petri网的空标识及相关性质研究[J];计算机科学;2007年05期

6 王丽丽;吴哲辉;方欢;;标识T-网中同步距离的计算[J];计算机科学;2008年10期

7 段华;曾庆田;;T-网的活性分析及其判断算法[J];小型微型计算机系统;2005年12期

8 黄小炜;陆维明;;用于实现异步通信的一种模块化Petri网[J];系统仿真学报;2007年S1期

9 蒋昌俊;Petri网的广义笛积运算（Ⅱ）[J];山东矿业学院学报;1995年01期

10 郝克刚,张慧,侯红;PETRI网工具——GPNT的设计与实现[J];软件学报;1991年03期

相关会议论文 前2条

1 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年

2 高茜;邱经华;;活的单支Petri网的一个可达性判定方法[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用（CACIS）学术会议论文集[C];2007年

相关博士学位论文 前1条

1 韦娜;基于无死锁初始标识的Petri网控制器设计[D];西安电子科技大学;2008年

相关硕士学位论文 前5条

1 曾志鑫;S~3PR网线性控制器控制库所数目与初始标识关系研究[D];西安电子科技大学;2019年

2 张琳婧;覆盖并行目标的初始标识条件生成方法[D];内蒙古大学;2018年

3 吕莉芳;Petri网的结构性态分析及其形式描述[D];杭州电子科技大学;2012年

4 吴省身;开放环境下的自动信任协商研究[D];扬州大学;2009年

5 姚勋勋;基于Petri网的列车运行调度问题的研究[D];太原科技大学;2011年

，

本文编号：2646295