×
刘、苗；王寿光；周梦初；刘、丁；阿卜杜拉赫曼·阿赫马里；瞿婷；吴乃琪；李志武

一类广义Petri网的死锁和活性特征。 （英语） Zbl 1436.90041号

信息科学。 420, 403-416 (2017).
摘要：Petri网（PN）被广泛用于柔性制造系统建模，因为它是分析柔性制造系统动态行为和合成监控控制器以使系统无死锁的有效工具。作为PN的一个重要子类，具有资源的简单序列过程加权系统（（mathrm{WS}^3\mathrm}PR}）可以很好地建模许多FMS。本文基于a（\mathrm｛WS｝^3\mathrm｛PR｝）的初始标记和结构性质，在不使用标记枚举和状态方程的情况下，提出了一种检查其活性的方法。我们首先定义了\（\mathrm{WS}^3\mathrm{PR}\）资源子网的两类转换，并在此基础上分析了标记与强连接资源子网（SCRS）之间的关系。接下来，开发了用于检查给定\（\mathrm{WS}^3\mathrm{PR}\）的活性的函数，这些函数充分利用了SCRS树和\（\mathrm{WS}^3\fathrm{PR}）结构。通过所提出的方法，证明了名为（k）-共享有界（mathrm{WS}^3\mathrm}PR}）的子类的计算复杂度是多项式的。最后建立了检查（mathrm{WS}^3\mathrm}PR}）活性的充分条件。用两个例子来说明结果。

引用于2文件

MSC公司：

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

关键词：

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

参考文献：

[1] 艾哈迈德·F。；Huang，H.J。；王晓乐，共享资源并行制造过程的Petri网模型分析，信息科学。，181(23), 5249-5266 (2011)
[2] Bai，L.P。；Wu，N。；李，Z。；Zhou，M.，线性拓扑单臂多集群工具的最优单晶圆周期调度和缓冲空间配置，IEEE Trans。系统。，网络人：A.，系统。，46(10), 1456-1467 (2016)
[3] 巴考伊，K。；Pradat-Peyre，J.F.，《关于Petri网中的活性和受控信标》，《应用和理论Petri网国际会议论文集》。应用和理论Petri网国际会议论文集，LNCS，1091，57-72（1996）·Zbl 1418.68131号
[4] 伯恩瓦尔，S。；Deb，S.，《基于布谷鸟搜索法的柔性制造系统调度优化》，国际先进制造技术杂志。，64(5), 951-959 (2013)
[5] Chan，F.T.S。；Swarnkar，R.，蚁群优化方法，用于FMS中机床选择和操作分配问题的模糊目标规划模型，Rob。计算-集成。制造，22（4），353-362（2006）
[6] 赵德义，（S^3 PGR^2）活性的最大控制虹吸管，IET控制理论应用。，1(4), 933-936 (2007)
[7] Chen，H.F。；吴新奇。；周，M.C.，利用资源导向Petri网预防AMS死锁的新方法，信息科学。，363(1), 178-189 (2016) ·Zbl 1427.68187号
[8] Chen，Y.F。；李振伟。；Al-Ahmari，A。；吴新奇。；Qu，T.，用Petri网建模的柔性制造系统死锁恢复，信息科学。，381(1), 290-303 (2017) ·Zbl 1429.90019号
[9] Chen，Y.F。；李振伟。；Barkaoui，K.，《新Petri网结构及其在最优监督控制中的应用：区间抑制弧》，IEEE Trans。系统。，人，赛博。，A、 系统。，人类，44（10），1384-1400（2014）
[10] Chen，Y.F。；李振伟。；巴考伊，K。；吴新奇。；周，M.C.，用带数据约束弧的Petri网实现离散事件系统的紧凑监督控制，IEEE Trans。系统。，人，赛博。，A、 系统。，人类，47（2），364-379（2017）
[11] Chen，Y.F。；李振伟。；Zhou，M.C.，《柔性制造系统实施成本最低的最大许可生活强制监督员》，信息科学。，256(1), 74-90 (2014) ·兹比尔1321.90046
[12] Colom，J.M.，《柔性制造系统中的资源分配问题》，Proc。国际协调申请。理论Petri网。程序。国际协调申请。理论Petri网，LNCS，267923-35（2003）·兹比尔1274.90133
[13] Ezpeleta，J。；科罗姆·J·M。；Martinez，J.，《柔性制造系统基于Petri网的死锁预防策略》，IEEE Trans。机器人。自动。，11(2), 173-184 (1995)
[14] 格里奇，H。；O.Mosbahi。；M.Khalgui。；Li，Z.W.，《可重构无线传感器网络动态扩容和移动性的面向功率的新方法》，IEEE Trans。系统。，人，赛博。，1-11 (2017)
[15] Lenstra，H.W.，变量数固定的整数编程，数学。操作。研究，8（4），538-548（1983）·Zbl 0524.90067号
[16] 刘易斯，F.L。；古雷尔，A。；Bogdan，S。；Doganap，A。；Pastravanu，O.C.，使用矩阵模型分析柔性制造系统的死锁和循环等待，Automatica，34（9），1083-1100（1998）·Zbl 0966.90028号
[17] 李振伟。；刘，G.Y。；哈尼什，M-H。；Zhou，M.C.，基于Petri网监管器结构重用的柔性制造系统死锁预防，IEEE Trans。系统。，人，赛博。，A、 系统。，人类，42（1），178-191（2012）
[18] 李振伟。；吴新奇。；周，M.C.，基于Petri网的自动化制造系统死锁控制——文献综述，IEEE Trans。系统。，天啊，赛博。C、 申请。修订版，42（4），437-462（2012）
[19] 李振伟。；Zhao，M.，关于广义Petri网中防止死锁的依赖信标的可控性，IEEE Trans。系统。，天啊，赛博。A、 系统。，人类，38（2），369-384（2008）
[20] 李振伟。；周，M.C.，Petri网的基本信标及其在柔性制造系统死锁预防中的应用，IEEE Trans。系统。，人，赛博。，A、 系统。，人类，34（1），38-51（2004）
[21] 李振伟。；Zhou，M.C.，Petri网中基本信标和从属信标的控制及其应用，IEEE Trans。系统。，天啊，赛博。A、 系统。，人类，38（1），133-148（2007）
[22] 刘博士。；李振伟。；周明川，《延伸公关的活力》，自动化，46（6），1008-1018（2010）·Zbl 1192.93076号
[23] 刘，G.J。；江春杰。；周，M.C。；Ohta，A.，《公共关系的活力：复杂性与决策》，IEICE Trans。芬达姆。，E96-A（8），1783-1793（2013）
[24] 刘海川。；你，J.X。；李振伟。；Tian，G.D.，《用于知识表示和推理的模糊Petri网：文献综述》，《工程应用》。Artif公司。智力。，60, 45-56 (2017)
[25] 马志勇。；李振伟。；Giua，A.，析取广义互斥约束的最优Petri网控制器设计，IEEE Trans。自动。控制，60（2015），1775-1785（2015）·Zbl 1360.93431号
[26] 马志勇。；李振伟。；Giua，A.，具有冲突和同步的Petri网中可容许标记集的表征，IEEE Trans。自动。控制，62（3），1329-1341（2017）·Zbl 1366.93356号
[27] 马志勇。；Tong，Y。；李振伟。；Giua，A.，Petri网可达性空间的基标记表示及其在可达性问题中的应用，IEEE Trans。自动。控制，62（3），1078-1093（2017）·Zbl 1366.93357号
[28] Mogale，D.G。；Dolgui，A。；坎德韦，R。；Kumar，S.K。；Tiwari，M.K.，粮食供应链战术规划的多周期库存运输模型，计算机。印度。工程，110，379-394（2017）
[29] Mogale，D.G。；Kumar，S.K.，《两阶段印度粮食供应链网络运输分配模型》，IFAC-PapersOnLine，49（12），1767-1772（2016）
[30] Park，J。；Reveliotis，S.A.，《具有多资源采集和灵活路由的顺序资源分配系统中的死锁避免》，IEEE Trans。自动。控制，46（10），1572-1583（2001）·Zbl 1045.93034号
[31] Reveliotis，S.，《基于虹吸的序列资源分配系统活性表征》，Proc。国际协调申请。理论Petri网。程序。国际协调申请。理论Petri网，LNCS，2679241-255（2003）·Zbl 1274.90138号
[32] Tarjan，R.E.，深度优先搜索和线性图算法，SIAM J.Compute。，1(2), 146-160 (1972) ·Zbl 0251.05107号
[33] 田，G.D。；Zhang，H.H。；Feng，Y.X。；贾海峰。；张春云。；姜振国。；李振伟。；李培光，《中国汽车零部件再制造产业发展的运营模式分析》，《清洁生产杂志》（2017）
[34] 田，G.D。；Zhang，H.H。；周，M.C。；Li，Z.W.，AHP，灰色关联度，TOPSIS设计方案绿色性能评估组合方法，IEEE Trans。系统。，网络人：A、 系统。，PP（99），1-13（2016）
[35] Tong，Y。；李振伟。；Giua，A.，关于Petri网生成器观测结构的等价性，IEEE Trans。自动。控制，61（9），2448-2462（2016）·Zbl 1359.93289号
[36] Tong，Y。；李振伟。；西特祖，C。；Giua，A.，使用Petri网验证基于状态的不透明度，IEEE Trans。自动。控制，62（6），2823-2337（2017）·Zbl 1369.68265号
[37] Tuncel，G。；Bayhan，G.M.，《Petri网在生产调度中的应用：综述》，Int.J.Adv.Manuf.Technol。，34(7), 762-773 (2006)
[38] 乌扎姆，M。；李振伟。；Gelen，G.，《灵活制造系统中活性增强监督员合成的分而治之的方法》，J.Intell。制造，27（5），1111-1129（2016）
[39] Wang，S.G。；Liu，M.，评论“延伸公关的活力”[Automatica 46（2010）1008-1018]，Automatica，5（8），2199-2200（2014）·Zbl 1297.93114号
[40] 王，X。；Khemaissia，I。；M.Khalgui。；李振伟。；O.Mosbahi。；Zhou，M.C.，具有周期性和概率性任务的实时系统的动态低功耗重构，IEEE Trans。自动。科学。工程师，12（1），258-271（2015）
[41] 王，X。；李振伟。；Wonham，W.M.，基于定时DES监控的实时调度的动态多周期重构，IEEE Trans。Ind.Inf.，12（1），101-111（2016）
[42] 吴新奇。；Bai，L.P。；Zhou，M.C.，《炼油厂原油操作的高效调度方法及原油类型混合要求》，IEEE Trans。系统。，网络人：A.系统。，46(3), 413-426 (2016)
[43] 吴新奇。；周，M。；Bai，L。；Li，Z.W.，《高熔点原油和两条输送管道炼油厂原油操作的短期计划》，企业出版社。信息系统。，10(6), 581-610 (2016)
[44] 吴新奇。；周，M.C。；Li，Z.W.，原油作业短期调度：基于Petri网的控制理论方法，IEEE Rob。自动。Mag.，22（2），64-76（2015）
[45] 杨福杰。；吴新奇。；乔，Y。；周，M.C。；Li，Z.W.，具有驻留时间限制的原子层沉积过程中单臂集群工具的调度，IEEE Trans。系统。，网络人：A.系统。，47(3), 502-516 (2017)
[46] Ye，J.H。；李振伟。；Giua，A.，与协调员一起对Petri网进行分散监督，IEEE Trans。系统。，天啊，赛博。A、 系统。，人类。，45(6), 955-966 (2015)
[47] Yildirim，M.B。；卡卡，T。；美国多古克。；Meza，J.C.，《使用人工神经网络的柔性制造系统中的机器编号、优先级规则和交货期确定》，计算。印度。工程师，50（1），185-194（2006）
[48] Zhang，J.F。；M.Khalgui。；李振伟。；弗雷·G。；O.Mosbahi。；Salah，H.B.，分布式离散事件控制系统的可重构协调，IEEE Trans。控制系统。技术。，23(1), 323-330 (2015)
[49] 周，M.C。；Venkatesh，K.，《柔性制造系统的建模、仿真和控制：Petri网方法》（1998），新加坡：世界科学出版社
[50] 吴新奇。；Zhou，M.C.，具有驻留时间约束和活动时间变化的双臂集群工具的可调度性分析和优化调度，IEEE Trans。自动。科学。工程，9，1，203-209（2012）
[51] 吴新奇。；周，M.C.，基于Petri网的具有驻留时间约束和活动时间变化的双臂集群工具的建模、分析和控制，IEEE Trans。自动。科学。工程，9，2，446-454（2012）
[52] 吴新奇。；Chu，F。；Chu，C.B。；Zhou，M.C.，带晶圆重访的双臂集群工具的Petri网建模和周期时间分析，IEEE Trans。系统。，网络人：系统。，43, 1, 196-207 (2013)
[53] 张，S.W。；吴新奇。；李振伟。；Qu，T。；Li，C.D.，基于Petri网的原油作业短期调度方法，储罐需求较少，Inf.Sci。，417, 247-261 (2017) ·Zbl 1435.90077
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。