×
陈玉峰；李志武；阿卜杜拉赫曼·阿赫马里；吴乃琪；瞿婷

用Petri网建模的柔性制造系统死锁恢复。 （英语） Zbl 1429.90019号

信息科学。 381290-303（2017）.
摘要：本文通过添加一组恢复转换来处理Petri网中的死锁问题。与传统的死锁控制方法不同，该方法通过为要控制的网络模型部署控制位置，向网络模型添加转换来恢复所有死锁标记。首先，我们提出了一种迭代方法。在每一步迭代中，都会构造一个整数线性规划问题（ILPP）来设计一个恢复转换，并使用目标函数来最大化所获得的转换所恢复的死锁标记数。执行此过程直到所有死锁标记都恢复。因此，只需要少量的恢复转换就可以恢复所有的死锁标记，即，具有恢复转换的最终网络模型是活动的。其次，我们开发了另一个ILPP，以一次性找到所有恢复过渡。ILPP的约束条件确保每个死锁标记都由至少一个选定的恢复转换恢复，目标函数用于最小化选定恢复转换的数量。然后，仅通过求解一个ILPP即可获得最少数量的恢复跃迁。这两种方法都可以使网络模型具有所有可到达的标记。最后，给出了几个示例来演示所提出的方法。

引用于13文件

MSC公司：

90B30型 生产模型
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

柔性制造系统；Petri网；僵局；活泼
PDF格式BibTeX公司 XML格式引用
\textit{Y.Chen}等人，《信息科学》。381290--303（2017年；Zbl 1429.90019）
全文： 内政部

参考文献：

[1] Bai，L.P。；吴新奇。；李振伟。；Zhou，M.C.，线性拓扑单臂多集群工具的最优单晶圆周期调度和缓冲空间配置，IEEE Trans。系统。，网络人：系统。，46, 10, 1456-1467 (2016)
[2] Chen，Y.F。；李振伟。；M.Khalgui。；Mosbahi，O.，《柔性制造系统的最大允许活性强制Petri网监控器的设计》，IEEE Trans。自动。科学。工程，8，2，374-393（2011）
[3] Chen，Y.F。；Li，Z.W.，《柔性制造系统中具有压缩监管结构的最大允许活力增强监管器的设计》，Automatica，47，5，1028-1034（2011）·Zbl 1233.93004号
[4] Chen，Y.F。；Li，Z.W.，《柔性制造系统最优管理者的结构极小化》，Automatica，48，10，2647-2656（2012）·Zbl 1271.93102号
[5] Chen，Y.F。；李振伟。；Al-Ahmari，A.，《柔性制造系统最优死锁控制的非纯Petri网监管器》，IEEE Trans。系统。，网络人：系统。，43, 2, 252-265 (2013)
[6] Chen，Y.F。；李振伟。；Zhou，M.C.，用Petri网实现柔性制造系统的最优监督控制：集合分类方法，IEEE Trans。自动。科学。工程，11，2，549-563（2014）
[7] Chen，Y.F。；李振伟。；巴考伊，K。；Uzam，M.，《新Petri网结构及其在最优监督控制中的应用：区间抑制弧》，IEEE Trans。系统。，网络人：系统。，44, 10, 1384-1400 (2014)
[8] Chen，Y.F。；李振伟。；巴考伊，K。；Giua，A.，关于Petri网上一类非线性约束的实施，Automatica，55，5，116-124（2015）·Zbl 1378.93082号
[9] Chen，Y.F。；李振伟。；巴考伊，K。；吴新奇。；周，M.C.，用带数据约束弧的Petri网实现离散事件系统的紧凑监督控制，IEEE Trans。系统。，网络人：系统。(2016)
[10] 多托利，M。；Fanti，M.P.，《自动存储和检索系统的死锁检测和避免策略》，IEEE Trans。系统。人类网络。，C部分：申请。版次：37、4、541-552（2007）
[11] 杜，Y。；Gu，N.，《加速Petri网可达性分析以实现基于互斥的死锁检测》，第三届计算与网络国际研讨会（CANDAR），札幌，75-81（2015）
[12] 埃兹佩莱塔，J。；科罗姆·J·M。；Martinez，J.A.，《柔性制造系统基于Petri网的死锁预防策略》，IEEE Trans。机器人。自动。，11, 2, 173-184 (1995)
[13] Ezpeleta，J。；Tricas，F。；Garcia-Valles，F。；Colom，J.M.，具有灵活路由和多资源状态的FMS中死锁避免的银行家解决方案，IEEE Trans。机器人。自动。，18621-625（2002年）
[14] Ezpeleta，J。；Recalde，L.，《非连续资源分配系统的死锁避免方法》，IEEE Trans。系统。，人，赛博。，A部分，34，1，93-101（2004）
[15] 范蒂，M.P。；Zhou，M.C.，自动化制造系统中的死锁控制方法，IEEE Trans。系统。，人，赛博。，A部分，34，1，5-22（2004）
[16] Ghaffari，A。；雷兹格，N。；Xie，X.L.，使用区域理论设计活动和最大允许Petri网控制器，IEEE Trans。机器人。自动。，19, 1, 137-142 (2003)
[17] A.Giua。；西特祖，C。；Basile，F.，《带死锁恢复的定时Petri网的基于观测器的状态反馈控制》，IEEE Trans。自动。控制。，49, 1, 17-29 (2004) ·Zbl 1365.68341号
[18] Hsieh，F.S.，装配过程的容错死锁避免算法，IEEE Trans。系统。，人，赛博。，A部分，34，1，65-79（2004）
[19] Huang，Y.S。；Jeng，医学博士。；谢晓乐。；Chung，D.H.，基于虹吸的柔性制造系统死锁预防，IEEE Trans。系统。，人，赛博。，A部分，36，6，1248-1256（2006）
[20] Huang，Y.S。；潘，Y.L。；Su，P.J.，使用图形技术的FMS基于转换的死锁检测和恢复策略，ACM Trans。嵌入式计算。系统。，12, 1 (2013)
[21] 库马兰，T.K。；Chang，W。；Cho，H。；Wysk，A.，《柔性制造系统死锁检测、避免和解决的结构化方法》，《国际生产研究杂志》，32，10，2361-2379（1994）·Zbl 0902.90082号
[23] 李振伟。；周，M.C.，Petri网的基本信标及其在柔性制造系统死锁预防中的应用，IEEE Trans。系统。，人，赛博。，A部分，34，1，38-51（2004）
[24] 李振伟。；周，M.C。；Jeng，M.D.，基于Petri网信标控制和区域理论的FMS最大允许死锁预防策略，IEEE Trans。自动。科学。工程师，5，1，182-188（2008）
[25] 李振伟。；Zhao，M.，关于广义Petri网中防止死锁的依赖信标的可控性，IEEE Trans。系统。，人，赛博。，A部分，38，2，369-384（2008）
[26] 李振伟。；刘，G.Y。；哈尼什，M.-H。；Zhou，M.C.，基于Petri网监管器结构重用的柔性制造系统死锁预防，IEEE Trans。系统。，人，赛博。，A部分，42，1，178-191（2012）
[27] 李振伟。；吴新奇。；周，M.C.，基于Petri网的自动化制造系统死锁控制-文献综述，IEEE Trans。系统。，人，赛博。，C部分，42，4，437-462（2012）
[28] 马志勇。；李振伟。；Giua，A.，析取广义互斥约束的最优Petri网控制器设计，IEEE Trans。自动化。控制。，60, 7, 1774-1785 (2015) ·Zbl 1360.93431号
[29] Murata，T.，《Petri网：属性、分析和应用》，Proc。IEEE，77，4，541-580（1989）
[30] Park，J。；Reveliotis，S.A.，《具有多资源采集和灵活路由的顺序资源分配系统中的死锁避免》，IEEE Trans。自动化。控制。，1572-1583年10月46日（2001年）·Zbl 1045.93034号
[31] 帕索斯，L.M.S。；Julia，S.，《web服务组合中的死锁-无冲突检测》，第12届国际信息技术会议论文集，780-783（2015），新一代（ITNG），内华达州拉斯维加斯
[32] 皮罗迪，L。；Cordone，R。；Fumagalli，I.，用于Petri网死锁预防的选择性虹吸控制，IEEE Trans。系统。，人，赛博。，A部分，38，6，1337-1348（2008）
[33] 皮罗迪，L。；Cordone，R。；Fumagalli，I.，用于Petri网死锁预防的虹吸和标记组合生成，IEEE Trans。系统。，Man Cybern，A部分，39，3，650-661（2009）
[34] Tong，Y。；李振伟。；Giua，A.，关于Petri网生成器观测结构的等价性，IEEE Trans。自动化。控制。，61, 9, 2448-2462 (2016) ·Zbl 1359.93289号
[35] Tricas，F。；Martinez，J.，并行顺序过程竞争共享资源的活性理论的扩展，IEEE系统、人和控制论国际会议论文集，3035-3040（1995），加拿大不列颠哥伦比亚省温哥华
[36] Tricas，F。；Garcia-Valles，F。；科罗姆·J·M。；Ezpeleta，J.，《FMS中死锁预防的迭代方法》，（Stremersch，G.，《离散事件系统：分析与控制》（2000），Kluwer学术：马萨诸塞州波士顿Kluwer学术），139-148·Zbl 1050.68108号
[37] Uzam，M.，《使用带资源的Petri网模型和区域理论的柔性制造系统的最优死锁预防策略》，Int.J.Adv.Manuf.Technol。，19, 3, 192-208 (2002)
[38] 乌扎姆，M。；Zhou，M.C.，《一种改进的迭代综合方法，用于柔性制造系统的活性增强监督员》，《国际生产研究》，44，10，1987-2030（2006）
[39] 乌扎姆，M。；Zhou，M.C.，基于Petri网的柔性制造系统死锁预防策略的迭代综合方法，IEEE Trans。系统。，人类网络。，A部分，37，362-371（2007）
[40] Wang，S.G。；Wang，C.Y。；周，M.C。；Li，Z.W.，基于循环资源子集计算一类Petri网中严格最小信标的方法，IEEE Trans。系统。，人类网络。，A部分，42，1，226-237（2012）
[41] Wang，S.G。；Wang，C.Y。；周，M.C.，一类Petri网中合成虹吸管的能控性条件，IEEE Trans。系统。，人类网络。，A部分，42，5，1206-1215（2012）
[42] Wang，S.G。；周，M.C。；Wang，C.Y。；Li，Z.W.，一种新的改进可达树方法及其在无界Petri网中的应用，IEEE Trans。系统。，网络人：系统。，43, 4, 932-940 (2013)
[43] Wang，S.G。；你，D。；周，M.C。；Seatsu，C.，具有不可控跃迁的Petri网中允许标记集的特征，IEEE Trans。自动化。控制。，61, 7, 1953-1958 (2016) ·Zbl 1359.93291号
[44] Wang，S.G。；你，D。；Wang，C.Y.，《具有不可控跃迁的Petri网的最优监督综合：一种自下而上的算法》，Inf.Sci。（纽约），363，261-273（2016）·Zbl 1427.68216号
[45] 吴新奇。；周，M。；Li，Z.W.，面向资源的Petri网在柔性装配系统中的死锁避免，IEEE Trans。系统。，人，赛博。，A部分，38，1，56-69（2008）
[46] 吴新奇。；周，M.C.，基于Petri网的具有驻留时间约束和活动时间变化的双臂集群工具的建模、分析和控制，IEEE Trans。自动。科学。工程，9，2，446-454（2012）
[47] 吴新奇。；Zhou，M.C.，具有驻留时间约束和活动时间变化的双臂集群工具的可调度性分析和优化调度，IEEE Trans。自动。科学。工程，9，1，203-209（2012）
[48] 吴新奇。；Chu，F。；Chu，C.B。；Zhou，M.C.，带晶圆重访的双臂集群工具的Petri网建模和周期时间分析，IEEE Trans。系统。，网络人：系统。，43, 1, 196-207 (2013)
[49] 吴新奇。；周，M.C。；Li，Z.W.，原油作业短期调度：基于Petri网的控制理论方法，IEEE Rob。自动。Mag.，22，2，64-76（2015）
[50] 吴新奇。；周，M.C。；Bai，L.P。；Li，Z.W.，《高熔点原油和两条输送管道炼油厂原油操作的短期计划》，企业出版社。信息系统。，10, 6, 581-610 (2016)
[51] 怀俄明州。；Yang，N.S。；Joshi，S.，《柔性制造系统死锁的解决：避免和恢复方法》，J.Manuf.Syst。，13, 2, 128-138 (1994)
[52] Xing，K.Y。；周，M.C。；刘海霞。；Tian，F.，自动化制造系统基于优化Petri网的多项式复杂性死锁避免策略，IEEE Trans。系统。，人，赛博。，A部分，39，1，188-199（2009）
[53] Xing，K.Y。；周，M.C。；Wang，F。；刘海霞。；Tian，F.，自动化制造系统死锁控制的资源转换电路和虹吸管，IEEE Trans。系统。，人，赛博。，A部分，41，1，74-84（2011）
[54] Ye，J.H。；李振伟。；Giua，A.，与协调员一起对Petri网进行分散监督，IEEE Trans。系统。，网络人：系统。，45, 6, 955-966 (2015)
[55] Zhang，J.F。；M.Khalgui。；李振伟。；弗雷·G。；O.Mosbahi。；Salah，H.B.，分布式离散事件控制系统的可重构协调，IEEE Trans。控制系统。技术。，23, 1, 323-330 (2015)
[56] 周，M.C。；DiCesare，F.，具有共享资源的制造系统Petri网建模的并行和顺序互斥，IEEE Trans。机器人。自动。，7, 4, 515-527 (1991)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。