×
侯逸凡;李志武;阿卜杜拉赫曼·M·阿尔·阿赫马里。;阿卜杜勒·阿齐兹·穆罕默德·埃尔·塔米米;Emad Abouel Nasr

扩展基本信标及其在广义Petri网活性增强中的应用。 （英语） Zbl 1307.93255号

亚洲J.控制 第6期，1789-1810（2014）.
摘要：虹吸作为一个重要的结构对象，被广泛应用于Petri网建模的柔性制造系统中，实现了大量的死锁预防和生命增强方法。通过线性组合，从所有要控制的严格极小信标中选择一组基本信标，从而大大降低了管理器的结构复杂性。基本信标的概念最初是针对普通Petri网提出的。当应用于广义Petri网时，它们的选择和可控性需要额外的研究。本文提出了增广信标的概念，将初等信标的应用扩展到一类广义Petri网GLS（^{3}）PR。基于图论，开发了一种信标提取算法，以获得所有严格最小信标，并从中计算出增广初等信条。此外，还得到了依赖虹吸管的能控性条件。通过对网络结构，特别是权重信息的充分研究，增广初等信标集更加紧凑，非常适合于所考虑的广义Petri网模型。用一些例子来说明所提出的方法。

引用于2文件

MSC公司：

93元65角 离散事件控制/观测系统
90B30型 生产模型
05C90年 图论的应用
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

柔性制造系统;Petri网;死锁控制;有向图;基本虹吸管
PDF格式BibTeX公司 XML格式引用
\textit{Y.Hou}等人，《亚洲期刊控制》16，第6期，1789--1810（2014；Zbl 1307.93255）
全文： 内政部

参考文献：

[1] Banaszak，具有并行竞争流程的柔性制造系统中的死锁避免，IEEE Trans。机器人。自动。第6（6）页，第724页–（1990年）·doi:10.109/70.63273
[2] Barkaoui，K.I.B.Abdallah一类FMS程序的死锁预防方法。IEEE国际协调系统。人类网络。4119 4124 1995
[3] Bondy，J.A.U.S.R.Murty图论Springer 2007
[4] Chao，修订的从属虹吸管，Int.J.Adv.Manuf.Technol。43（1-2）第182页–（2009）·doi:10.1007/s00170-008-1684-1
[5] Chao，著名S3PR基于虹吸的简单次优控制模型，Asian J.control 14（1）pp 163–（2012）·Zbl 1282.93175号 ·doi:10.1002/asjc.292
[6] Chen，针对柔性制造系统设计具有压缩监管结构的最大许可活力增强监管器，Automatica 47（5）pp 1028–（2011）·Zbl 1233.93004号 ·doi:10.1016/j.automatica.2011.01.070
[7] Chen，《柔性制造系统最大允许活性增强Petri网监管器的设计》，IEEE Trans。自动。科学。工程8（2）第374页–（2011）·Zbl 1233.93004号 ·doi:10.1109/TASE.2010.2060332
[8] Ezpeleta，基于Petri网的柔性制造系统死锁预防策略，IEEE Trans。机器人。自动。11（2）第173页–（1995）·doi:10.1009/70370500
[9] Ezpeleta，J.F.García-Vallés J.M.Colom柔性制造系统的一类结构良好的Petri网Proc。第19届Petri网应用与理论国际会议，1998年6月22日至26日，葡萄牙里斯本，64 83
[10] Giua，A.F.DiCesare M.Silva具有不可控跃迁的网络上的广义互斥约束Proc。IEEE国际协调系统。人类网络。974 979 1992
[11] 谢，柔性制造系统调度驱动死锁避免控制器综合，IEEE Trans。机器人。自动。10（2）第196页–（1994）·数字对象标识代码：10.1109/70.282544
[12] Hu，使用定时Petri网对比率强制自动化制造系统进行低成本和高性能监管，IEEE Trans。自动。科学。工程7（4）第933页–（2010）·doi:10.1109/TASE.2010.2046412
[13] Hu，自动化制造系统中提高生产率和无死锁的主管设计，IEEE Trans。系统。人类网络。A部分-系统。Hum.41（2）第201页–（2011）·doi:10.1109/TSMCA.2010.2058101
[14] 黄，序列资源分配系统的死锁预防，J.Inf.Sci。工程23（1）第215页–（2007）
[15] Huang，用于柔性制造系统的计算改进的最优死锁控制策略，IEEE Trans。系统。人类网络。A部分-系统。Hum.42（2）第404页–（2012年）·doi:10.1109/TSMCA.2011.2164241
[16] Iordache，使用Petri网合成死锁预防监控器，IEEE Trans。机器人。自动。18（1）第59页–（2002）·数字对象标识代码：10.1109/70.988975
[17] Jeng，虹吸对模块化组合网络的分析，IEEE Trans。系统。人类网络。A部分-系统。Hum.29（4）pp 399–（1999）·数字对象标识代码：10.1109/3468.769759
[18] Lautenbach，死锁和陷阱的线性代数计算，in：并发和网络：petri网的进展，pp 315–（1987）·Zbl 0641.68081号 ·doi:10.1007/978-3-642-72822-8_21
[19] Lautenbach，K.H.Ridder死锁避免的线性代数-Petri网方法技术报告Koblenz，德国1996
[20] Li，使用混合整数规划的活性增强Petri网的结构简化，亚洲J.Control 14（2），第384页–（2012）·Zbl 1286.93117号 ·doi:10.1002/asjc.342
[21] 李，Petri网的基本信标及其在柔性制造系统死锁预防中的应用，IEEE Trans。系统。人类网络。A部分-系统。Hum.34（1）第38页–（2004）·doi:10.1109/TSMCA.2003.820576
[22] 李，关于Petri网中基本信标定义的澄清，IEEE Trans。系统。人类网络。A部分-系统。Hum.36（6）pp 1227–（2006）·doi:10.1109/TSMCA.2006.878966
[23] 李，Petri网中基本信标和相关信标的控制及其应用，IEEE Trans。系统。人类网络。A部分-系统。Hum.38（1）pp 133–（2008）·doi:10.1109/TSMCA.2007.909548
[24] 李，关于广义Petri网中防止死锁的依赖信标的可控性，IEEE Trans。系统。人类网络。A部分-系统。Hum.38（2）第369页–（2008）·doi:10.1109/TSMCA.2007.914741
[25] 李，自动化制造系统中的死锁解决：一种新的Petri网方法（2009）
[26] 李，在Petri网中实施广义互斥约束的结构简单监管器的综合，IEEE Trans。系统。人类网络。C 40（3）第330页–（2010年）·doi:10.1109/TSMCC.2009.2037824
[27] Li，基于Petri网的自动化制造系统死锁控制：文献综述，IEEE Trans。系统。人类网络。第C部分——申请。第42（4）版第437页–（2012）·doi:10.1109/TSMCC.2011.2160626
[28] Li，基于柔性制造系统Petri网监管器结构重用的死锁预防，IEEE Trans。系统。人类网络。A部分-系统。Hum.42（1）第178页–（2012年）·doi:10.10109/TSCMA.2011.2147308
[29] Liu，扩展S3PR的活力，Automatica 46（6）pp 1008–（2010）·Zbl 1192.93076号 ·doi:10.1016/j.automatica.2010.03.011
[30] Liu，改进了具有资源的简单序列过程系统中依赖信标可控的充分条件，IET Contr。理论应用。第5（9）页，第1059页–（2011年）·doi:10.1049/iet-cta.2010.0195
[31] 罗，在Petri网上实施一类广义互斥约束的监督综合，IEEE Trans。系统。人类网络。A部分-系统。Hum.39（6）pp 1237–（2009）·doi:10.1109/TSMCA.2009.2027111
[32] 罗，转换Petri网线性约束的方法，IEEE Trans。自动。控制56（12）pp 2751–（2011）·Zbl 1368.93382号 ·doi:10.1109/TAC.2011.2128590
[33] 罗，基于新约束转换方法的最大允许监督合成，Automatica 48（6），第1097页–（2012）·Zbl 1244.93098号 ·doi:10.1016/j.automatic.2012.02.002
[34] Murata，Petri网：属性、分析和应用，Proc。IEEE 77（4）第541页–（1989）·数字对象标识代码：10.1109/5.24143
[35] Park，具有多资源采集和灵活路由的顺序资源分配系统中的死锁避免，IEEE Trans。自动。对照46（10）第1572页–（2001）·Zbl 1045.93034号 ·doi:10.1109/9.956052
[36] Rosen，离散数学及其应用（1999）
[37] Tricas，F.J.Martinez并行序列过程竞争共享资源的活性理论的扩展。IEEE国际协调系统。人类网络。加拿大不列颠哥伦比亚省温哥华3035 3040 1995
[38] Tricas，程序。第五届Discete Event Systems研讨会第139页–（2000年）·doi:10.1007/978-1-4615-4493-7_14
[39] 图论（2001）
[40] Viswanadham，使用Petri网模型的柔性制造系统中的死锁预防和死锁避免，IEEE Trans。机器人。自动。第6（6）页，第713页–（1990年）·数字对象标识代码：10.1109/70.63257
[41] Wang，在一类Petri网中寻找基本信标的有效算法，IEEE Trans。系统。人类网络。A部分-系统。Hum.39（4）第912页–（2009年）·doi:10.1109/TSMCA.2009.2019880
[42] Wang，A.R.Z.W.Li M.C.Zhou一类Petri网过程中严格极小信标的计算。第十届国际会议自动化技术247 252 2009
[43] Wang，自动化制造系统的一类Petri网模型的严格极小信标的有效计算，Trans。仪器测量。对照组33（1）第182页–（2011）·doi:10.1177/0142331208095678
[44] Wang，基于循环资源子集计算一类Petri网中严格最小信标的方法，IEEE Trans。系统。人类网络。A部分-系统。Hum.42（1）第226页–（2012年）·doi:10.1109/TSMCA.2011.2159590
[45] 韦斯特，图论导论（2001）
[46] Wu，《使用面向资源的Petri网进行系统建模和控制》（2010年）
[47] Wysk，《柔性制造单元死锁检测》，IEEE Trans。机器人。自动。第7（6）页，第853页–（1991年）·数字对象标识代码：10.1109/70.105378
[48] Xing，具有共享资源的柔性制造系统Petri网建模的死锁避免策略，IEEE Trans。自动。对照41（2）第289页–（1996）·Zbl 0845.90067号 ·doi:10.1109/9.481550
[49] Xing，自动化制造系统死锁控制的资源转换电路和虹吸管，IEEE Trans。系统。人类网络。A部分-系统。Hum.41（1）第74页–（2011）·doi:10.1109/TSMCA 2010.2048898
[50] 赵，关于一类柔性制造系统广义Petri网模型的死锁控制，《国际生产研究》47（21），第6085页–（2009）·兹比尔1198.90162 ·doi:10.1080/0207540802101945
[51] 赵，利用部分虹吸枚举和数学规划对一类广义Petri网进行次优生存强制监督设计，国际期刊系统。科学。41（9）第1013页–（2010年）·Zbl 1202.90120 ·doi:10.1080/00207720903171779
[52] Zhou，制造系统离散事件控制的Petri网综合（1993）·Zbl 0849.93002号 ·doi:10.1007/978-1-4615-3126-5
[53] 周，《柔性制造系统的建模、仿真和控制：Petri网方法》（1998）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。