×
穆拉特·乌扎姆;戈坎·格伦;萨利赫，塔希尔·拉旺

基于加权弧的全局思维-行为-综合方法，用于广义Petri网建模FMS的活性增强监管器。 （英语） Zbl 1427.68212号

信息科学。 363, 235-260 (2016).
摘要：本文提出了一种通用的方法，称为带加权弧的思想全局行为方法（TGALW），该方法可用于计算易死锁的柔性制造系统（FMS）Petri网（PN）模型的活性增强管理器（LES）。与通常相当保守的基于信标的死锁预防策略相比，该方法对于诸如\（S^{4} R（右）\)和\（S^{4} 公关\)并且还导致最优或接近最优的LES，同时保持必要的计算简单。最初的PNM首先被转换成一个在行为上与其等效的网络。全局汇/源位置（GP）在设计步骤中被临时使用，最终在系统达到活跃度时被移除。在每个迭代步骤中，不良标记都会被识别出来，然后由监护仪通过一种既定的基于位置变量的方法进行控制。提出了一个坏标记的最优可控条件，即如果在每个迭代步骤都对所有坏标记进行最优控制，则TGALW方法可以找到一个最优的LES。检查监视器的冗余。通过文献中存在的典型示例，证明了该方法的适用性和有效性。

引用于3文件

MSC公司：

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

关键词：

离散事件系统;Petri网;柔性制造系统;僵局;增强活力
PDF格式BibTeX公司 XML格式引用
\textit{M.Uzam}等人，《信息科学》。363235-260（2016年；兹比尔1427.68212）
全文： 内政部

参考文献：

[1] 阿明，M。；Shebl，D.，基于自适应模糊高阶Petri网的动态模糊系统推理，信息科学。，286, 161-172 (2014) ·Zbl 1355.68251号
[2] 巴杜埃尔，E。；Darondeau，P.，《区域理论》，（Reisig，W.；Rozenberg，G.，《Comp.Sci.Lect.Notes》，《Petri网讲座I：基本模型，Petri网进展》，1491（1998）），529-586·Zbl 0926.68088号
[3] Bae，H。；Lee，S。；Moon，I.，《业务流程管理环境中的业务流程执行规划》，《信息科学》。，268, 357-369 (2014)
[4] Banaszak，Z.A。；Krogh，B.H.，《具有并行竞争流程的柔性制造系统中的死锁避免》，IEEE Trans。机器人。自动。，6, 724-734 (1990)
[5] 巴考伊，K。；朝晖，A。；Zouari，B.，基于Petri网结构理论的离散事件系统监督控制，（Proc.IEEE Conf.Syst.，Man，Cybern.Proc.IEEE.Conf.System，Man、Cybern，法国巴黎（1997年10月）），2755-3750
[6] 巴考伊，K。；Peyre，J.F.，《关于Petri网中的活性和受控信标》，（Billington，J.；Reisig，W.，Proc.Int.Conf.Appl.Theory Petri nets，第1091卷，Lect.Notes Compute.Sci..Proc.Int Conf.Appl.Theore Petri网，第1092卷，Lect Notes Compute.Sic.，德国柏林（1996年6月）），第57-72页·Zbl 1418.68131号
[7] Boucheneb，H。；Barkaoui，K.，《用于检查时间工作流网络可靠性的部分降阶》，《信息科学》。，282, 261-276 (2014) ·Zbl 1355.68189号
[8] Chao，D.Y.，使用MIP直接进行最小空虹吸计算，国际J.高级制造技术。，45, 397-405 (2009)
[9] Chao，D.Y.，Max’-控制活虹吸管（S^3 PGR^2），IET控制理论应用。，1933年4月1日至936年（2007年）
[10] Chao，D.Y.，Petri网子类资源共享系统的无限大系统的控制器综合的闭式解，Trans。仪器测量。控制（2015）
[11] Chen，Y.F。；李振伟。；巴考伊，K。；Uzam，M.，《新Petri网结构及其在最优监督控制中的应用：区间抑制弧》，IEEE Trans。系统。人类网络。系统。，44, 10, 1384-1400 (2014)
[12] Chen，Y.F。；李振伟。；Al-Ahmari，A.，《柔性制造系统最优死锁控制的非纯Petri网管理器》，IEEE Trans。系统。人类网络。系统。，43, 252-265 (2013)
[13] Chen，Y.F。；李泽伟。；巴考伊，K。；Giua，A.，关于Petri网上一类非线性约束的实施，Automatica，55，116-124（2015）·Zbl 1378.93082号
[14] Chen，Y.F。；李振伟。；Barkaoui，K.，《灵活制造系统实施成本最低的最大许可生活强制监督员》，Inf.Sci。，256, 74-90 (2014) ·Zbl 1321.90046号
[15] Chen，Y.F。；李振伟。；M.Khalgui。；Mosbahi，O.，《柔性制造系统的最大允许活性增强petri网监管器的设计》，IEEE Trans。自动。科学。工程，8374-393（2010）
[16] Chen，Y.F。；Li，Z.W.，《柔性制造系统最优管理者的结构极小化》，Automatica，48，2647-2656（2012）·Zbl 1271.93102号
[17] Chen，Y.F。；Li，Z.W.，用petri网实现柔性制造系统的最优监控：集合分类方法，IEEE Trans。自动。科学。工程，11549-563（2014）
[18] Chen，Y.F。；Li，Z.W.，《柔性制造系统中具有压缩监管结构的最大许可活力增强监管器的设计》，Automatica，471028-1034（2011）·Zbl 1233.93004号
[19] Chen，Y.F。；李泽伟。；Zhou，M.C.，柔性制造系统的行为优化和结构简单的活性增强监督，IEEE Trans。系统。人类网络。A系统。人类，42615-629（2012）
[20] Cho，H。；库马兰，T.K。；Wysk，R.A.，《柔性制造系统的图论死锁检测与解决》，IEEE Trans。机器人。自动。，11, 413-421 (1995)
[21] Chu，F。；Xie，F.X.L.，使用信标和数学编程的petri网死锁分析，IEEE Trans。机器人。自动。，13, 793-804 (1997)
[22] Ezpeleta，J。；Tricas，F。；Garcia-Valles，F。；Colom，J.M.，具有灵活路由和多资源状态的FMS中避免死锁的银行家解决方案，IEEE Trans。机器人。自动。，18, 621-625 (2002)
[23] Ezpeleta，J。；科罗姆·J·M。；Martinez，J.，《柔性制造系统基于Petri网的死锁预防策略》，IEEE Trans。机器人。自动。，11, 173-184 (1995)
[24] 范蒂，M.P。；Maione，B。；马斯科洛，S。；Turchiano，B.，《柔性生产系统中用于避免死锁的基于事件的反馈控制》，IEEE Trans。机器人。自动。，13, 347-363 (1997)
[25] 范蒂，M.P。；Zhou，M.C.，自动化制造系统中的死锁控制方法，IEEE Trans。系统。人类网络。A系统。人类。，34, 5-22 (2004)
[26] 费拉里尼，L。；Maroni，M.，《多容量资源制造系统的死锁避免控制》，《国际先进制造技术》。，14, 729-736 (1998)
[28] Han，Z.D。；Lee，G.，Petri网在柔性制造系统死锁分析和避免中的应用，国际高级制造技术杂志。，25735-742（2005年）
[29] 侯永福。；李振伟。；Al-Ahmari，A。；El-Tamimiand，A.M。；EA.纳斯尔。，扩展基本信标及其在广义petri网活性增强中的应用，亚洲控制杂志，16，6，1798-1810（2014）·Zbl 1307.93255号
[30] 胡海生。；周，M.C。；Li，Z.W.，使用petri网对自动化制造系统的活力和比率实施监管，IEEE Trans。系统。人类网络。A系统。人类，42，392-403（2012）
[31] 胡海生。；周，M.C。；Li，Z.W.，利用petri网解决自动化制造系统死锁的监督优化，IEEE Trans。自动。科学。工程，8，4，794-804（2011）
[32] 胡海生。；周，M.C。；李振伟。；Tang，Y.，使用petri网对具有灵活路线和装配操作的自动化制造系统进行无死锁控制，IEEE Trans。Ind.Inf.，9，1，109-121（2013）
[33] 胡海生。；周，M.C。；Li，Z.W.，主管设计以确保自动化制造系统中的生产率和无死锁，IEEE Trans。系统。人类网络。A系统。人类，41，201-212（2011）
[34] 胡海生。；Li，Z.W.，Liveness使用虹吸管在视频流系统中实施监管，J.Inf.Sci。工程，25，1863-1884（2009）
[35] 胡海生。；Li，Z.W.，使用部分生成可达图的资源分配系统的局部和全局死锁预防策略，计算。工业工程，57，1168-1181（2009）
[36] 胡海生。；Li，Z.W.，《柔性制造系统基于优化单元的迭代死锁预防策略》，国际先进制造技术杂志。，38, 309-320 (2008)
[37] 胡，Q。；杜义勇。；Yu，S.X.，基于逻辑Petri网的服务网代数，信息科学。，268271-289（2014年）·Zbl 1341.68130号
[38] 黄，Y。；Jeng，医学博士。；谢，X。；Chung，S.，基于petri网和虹吸管的死锁预防，《国际生产研究杂志》，39，2，283-305（2001）·Zbl 1017.90507号
[39] Huang，Y.S.，序列资源分配系统的死锁预防，J.Inf.Sci。工程师，23，215-231（2007）
[40] Huang，Y.S。；Jeng，医学博士。；谢晓乐。；Chung，D.H.，基于虹吸的柔性制造系统死锁预防策略，IEEE Trans。系统。人类网络。A系统。人类，36，1248-1256（2006）
[41] Huang，Y.S。；钟，T.H。；Su，P.J.，利用petri网可达图技术合成死锁预防策略，亚洲控制杂志，12，336-346（2010）
[42] Huang，Y.S。；潘，Y.L。；Su，P.J.，使用图形技术的FMS基于转换的死锁检测和恢复策略，ACM Trans。嵌入式计算。系统。，12，1（2013），第11条
[43] Huang，Y.S.，《使用Petri网设计死锁预防监督器》，国际期刊高级制造技术。，35, 349-362 (2007)
[44] 谢福山。；Chang，S.C.，柔性制造系统调度驱动死锁避免控制器综合，IEEE Trans。机器人。自动。，10, 196-209 (1994)
[46] Jeng，医学博士。；谢，X。；Chung，S.L.，\（ERCN）合并了用于模拟半导体制造系统中退化行为和并行过程的网络，IEEE Trans。系统。人类网络。A系统。人类，34，1，102-112（2004）
[47] M.Khalgui。；O.Mosbahi。；李振伟。；Hanisch，M.H.，《可重构多智能体嵌入式控制系统：从建模到实现》，IEEE Trans。计算。，60, 4, 538-551 (2011) ·Zbl 1368.68057号
[48] Lawley，M.，《具有灵活路由的生产系统的死锁避免》，IEEE Trans。机器人。自动。，15, 497-509 (1999)
[49] 劳利，M。；脊柱侧凸，S。；Ferreira，P.，《灵活制造系统的正确且可扩展的死锁避免策略》，IEEE Trans。机器人。自动。，14, 796-809 (1998)
[50] 劳利，M。；脊柱侧凸，S。；Ferreira，P.，《柔性制造系统死锁处理策略设计指南》，《国际柔性制造系统杂志》。，9, 5-29 (1997)
[51] 李振伟。；胡海生。；Wang，A.R.，使用Petri网为柔性制造系统设计增强活力的监督员，IEEE Trans。系统。人类网络。C申请。修订版，37，517-526（2007）
[52] 李振伟。；Zhou，M.C.，Petri网中基本信标和从属信标的控制及其应用，IEEE Trans。系统。人类网络。A系统。人类，38，133-148（2008）
[53] 李振伟。；周，M.C。；Jeng，M.D.，基于Petri网信标控制和区域理论的FMS最大允许死锁预防策略，IEEE Trans。自动。科学。工程，5182-188（2008）
[54] 李振伟。；周，M.C。；Wu，N.Q.，《基于Petri网的柔性制造系统死锁预防策略的调查与比较》，IEEE Trans。系统。人类网络。C申请。修订版，38，173-188（2008）
[55] 李振伟。；周，M.C.，关于广义Petri网中用于死锁预防的依赖信标的可控性，IEEE Trans。系统。人类网络。A系统。人类，38369-384（2008）
[56] 李振伟。；Zhou，M.C.，使用Petri网合成柔性制造系统增强活力监管器的两阶段方法，IEEE Trans。Ind.Inf.，2313-325（2006）
[57] 李振伟。；朱，S。；周，M.C.，《灵活制造系统中防止死锁的分而治之策略》，IEEE Trans。系统。人类网络。C申请。版本39，156-169（2009）
[58] 李振伟。；乌扎姆，M。；周明川，《关于“基于petri网和信标的死锁预防策略”的评论》，《国际生产研究杂志》，42，5253-5254（2004）
[59] 李振伟。；周，M.C.，petri网的基本信标及其在柔性制造系统死锁预防中的应用，IEEE Trans。系统。人类网络。A系统。人类，34，38-51（2004）
[60] 李泽伟。；张杰。；Zhao，M.，一类柔性制造系统广义petri网模型的Liveness增强监督员设计，IET控制理论应用。，1, 955-967 (2007)
[61] 李振伟。；Zhou，M.C.，《自动化制造系统中的僵局解决：一种新的Petri网方法》（2009），Springer-Verlag:Springer-Verlag London
[62] 李振伟。；周，M.C.，关于petri网中基本信标定义的澄清，IEEE Trans。系统。人类网络。A系统。人类，36，6，1227-1229（2006）
[63] 李振伟。；周，M.C.，关于一类Petri网中死锁控制的虹吸计算，IEEE Trans。系统。人类网络。A系统。人类，38，3667-679（2008）
[64] 李振伟。；吴，N.Q。；周，M.C.，基于petri网的自动化制造系统死锁控制-文献综述，IEEE Trans。系统。人类网络。C申请。修订版，42，437-462（2012）
[65] 刘国杰。；江春杰。；周明川，改进了具有资源的简单序列过程系统中依赖虹吸管可控的充分条件，IET控制理论应用。，5, 9, 1059-1068 (2011)
[66] 刘国杰。；江春杰。；Zhou，M.C.，基于密钥-源/操作位置对的（SPR）-P-3的两种简单死锁预防策略，IEEE Trans。自动。科学。工程，7945-957（2010）
[67] Liu，G.Y。；Barkaoui，K.，（GS^3）PR petri网的充要活性条件，国际期刊系统。科学。，46, 7, 1147-1160 (2015) ·Zbl 1312.93071号
[68] Liu，G.Y。；李振伟。；Zhong，C.F.，一类广义petri网中虹吸管的新可控性条件，IET控制理论应用。，4, 854-864 (2010)
[69] Liu，G.Y。；李振伟。；Barkaoui，K.，一类具有不可靠资源的Petri网死锁控制的鲁棒性，信息科学。，235, 259-279 (2013) ·Zbl 1284.90019号
[70] 马振英。；李振伟。；Giua，A.，用于析取广义互斥约束的最优Petri网控制器的设计，IEEE Trans。自动。对照，601774-1785（2015）·Zbl 1360.93431号
[71] Murata，T.，《Petri网：属性、分析和应用》，Proc。IEEE，44，541-579（1989）
[72] Park，J。；Reveliotis，S.A.，序列资源分配系统有效死锁避免策略的代数综合，IEEE Trans。机器人。自动。，16, 2, 190-195 (2000)
[73] Park，J。；Reveliotis，S.A.，《具有多资源采集和灵活路由的顺序资源分配系统中的死锁避免》，IEEE Trans。自动。控制，46，1572-1583（2001）·Zbl 1045.93034号
[74] 皮罗迪，L。；Cossalter，M。；Ferrarini，L.，《FMS中防止死锁的资源解耦方法》，《国际先进制造技术》。，40, 157-170 (2009)
[75] 皮洛迪。；Cordone，R。；Fumagalli，I.，用于petri网死锁预防的虹吸和标记组合生成，IEEE Trans。系统。人类网络。A系统。人类，39，650-661（2009）
[76] 皮罗迪，L。；Cordone，R。；Fumagalli，I.，用于petri网死锁预防的选择性虹吸控制，IEEE Trans。系统。人类网络。A系统。人类，38，1337-1348（2008）
[77] Reveliotis，S.A。；Roszkowska，E。；Choi，J.Y.，通过数学编程验证广义代数死锁避免策略的正确性，IEEE Trans。自动。科学。工程，7，240-248（2010）
[78] Reveliotis，S.A。；Roszkowska，E。；Choi，J.Y.，序列资源分配系统的广义代数死锁避免策略，IEEE Trans。自动。控制，522345-2350（2007）·Zbl 1368.68268号
[79] Tricas，F。；Garcia-Valles，F。；科罗姆·J·M。；Ezpelata，J.，《资源过程中死锁预防问题的结构方法》（WODES’98 Proc.，意大利（1998年8月26日至28日）），273-278
[80] Tricas，F。；Garcia-Valles，F。；Colom，J.M.（科罗拉多州）。；Ezpeleta，J.，FMS中死锁预防的迭代方法，（Stremersch，G.，离散事件系统：分析与控制（2000），Kluwer学术出版社），139-148·Zbl 1050.68108号
[81] 乌扎姆，M。；Zhou，M.C.，基于Petri网的柔性制造系统死锁预防策略的迭代综合方法，IEEE Trans。系统。人类网络。A系统。人类，37，362-371（2007）
[82] 乌扎姆，M。；Zhou，M.C.，《一种改进的迭代综合方法，用于柔性制造系统的活性增强监督员》，《国际生产研究》，441987-2030（2006）
[83] 乌扎姆，M。；Zhou，M.C.，基于petri网的柔性制造系统死锁预防策略的迭代综合，（2004年IEEE系统、人和控制论国际会议论文集，2004年IEEE-系统、人与控制论国际大会论文集，荷兰海牙（2004）），4260-4265
[84] Uzam，M.，《使用Petri网简化方法为柔性制造系统制定最佳死锁预防策略》，《国际先进制造技术杂志》。，23, 204-219 (2004)
[85] 乌扎姆，M。；李振伟。；盖伦，G。；Zakariyya，R.S.，《灵活制造系统活性执行监督员综合的分而治之方法》，J.Intell。制造（2014）
[86] 乌扎姆，M。；李振伟。；美国Abubakar，《基于Petri网的FMS活性增强监督员合成的全球行动方法思考》，接受出版，《国际期刊生产研究》（2015年4月22日）
[87] 乌扎姆，M。；李振伟。；Zhou，M.C.，《确定和消除基于Petri网的FMS活性执行主管中的冗余控制位置》，国际期刊高级制造技术。，35, 150-168 (2007)
[88] Uzam，M.，《使用带资源的Petri网模型和区域理论的柔性制造系统的最优死锁预防策略》，Int.J.Adv.Manuf.Technol。，19, 3, 192-208 (2002)
[89] 瓦兹奎兹·巴雷罗斯，B。；Mucientes，M。；Lama，M.，ProDiGen：用遗传算法挖掘完整、精确和最小结构的过程模型，Inf.Sci。，294, 315-333 (2015)
[90] 维斯瓦纳达姆，N。；Nahari，Y。；Johnson，T.L.，使用petri网模型的柔性制造系统中的死锁预防和死锁避免，IEEE Trans。机器人。自动。，6, 713-723 (1990)
[91] Wang，S.G。；Wang，C.Y。；周，M.C.，一类petri网中合成虹吸管的可控条件，IEEE Trans。系统。人类网络。系统。人类，421206-1215（2012）
[92] Wang，S.G。；Wang，C.Y。；周，M.C。；Li，Z.W.，基于循环资源子集的一类petri网中计算严格最小信标的方法，IEEE Trans。系统。人类网络。A系统。人类，42，1，226-237（2012）
[93] 王，X。；Khemaissia，I。；M.Khalgui。；李振伟。；O.Mosbahi。；Zhou，M.C.，具有周期性和概率性任务的实时系统的动态低功耗重构，IEEE Trans。自动。科学。工程师，12，1，258-271（2015）
[94] Wang，A.R。；Li，Z.L。；贾建勇。；Zhou，M.C.，在一类petri网中寻找基本信标的有效算法，IEEE Trans。系统。人类网络。A系统。人类，39，41912-923（2009）
[95] Wang，A.R。；李振伟。；周，M.C。；Al-Ahmari，A.M.，使用petri网的迭代死锁控制，IEEE Trans。系统。人类网络。C申请。修订版，42、6、1204-1218（2012）
[96] 魏，N。；Li，Z.W.，《基于Petri网结构分析和区域理论的次优生活激励监督员研究》，国际先进制造技术杂志。，38, 195-204 (2008)
[97] 吴新奇。；Zhou，M.C.，多自动导向车辆的自动化制造系统建模和死锁避免，IEEE Trans。系统。人类网络。B网络。，35, 6, 1193-1202 (2005)
[98] 吴新奇。；Zhou，M.C.，自动化制导车辆系统的建模和死锁控制，IEEE/ASME Trans。机电一体化。，9, 1, 50-57 (2004)
[99] 吴新奇。；Zhou，M.C.，双向自动引导车辆避免死锁和阻塞的最短路径，IEEE/ASME Trans。机电一体化。，12, 1, 63-72 (2007)
[100] 吴新奇。；周，M.C.，基于petri网模型的自动化制造系统中避免死锁和减少饥饿和阻塞，IEEE Trans。机器人。自动。，17, 5, 658-669 (2001)
[101] 吴新奇。；Zhou，M.C.，机器人自动化制造系统中的死锁解决方案，IEEE Trans。自动。科学。工程师，第4、3、474-480页（2007年）
[102] 吴新奇。；周，M.C。；Hu，G.，使用petri网的AMS的一步查找头最大允许死锁控制，ACM-Trans。嵌入式计算。系统。，12, 1, 1-23 (2013)
[103] 吴新奇。；Zhou，M.C.，具有动态变化的可重构自动化制造系统建模和控制的智能令牌petri网，Trans。仪器测量。控制，33，1，9-29（2011）
[104] 吴新奇。；Zhou，M.C.，自动化制造系统的过程与资源导向petri网建模，亚洲控制杂志，12，3，267-280（2010）
[105] 吴新奇。；周，M.C。；Li，Z.W.，面向资源的petri网在柔性装配系统中的死锁避免，IEEE Trans。系统。人类网络。系统。人类，38，156-69（2008）
[106] 吴新奇。；周，M.C。；Li，Z.W.，《原油作业的短期调度：基于Petri网的控制理论方法》，IEEE机器人。《汽车杂志》，22，2，64-76（2015）
[107] Wu，N.Q.，使用有色petri网模型的柔性制造系统中无死锁操作的必要和充分条件，IEEE Trans。系统。人类网络。C申请。修订版，29,2192-204（1999）
[108] Wysk，R.A。；能树，Y。；Sanjay，J.，《柔性制造系统死锁的解决：避免和恢复方法》，J.Manuf.Syst。，13, 128-136 (1994)
[109] Xing，K。；胡，B。；Chen，H.，柔性制造系统的死锁避免政策，（Zhou，M.C.，《柔性和敏捷自动化中的Petri网》（1995），Kluwer:Kluwer Boston，MA）·Zbl 0862.90075号
[110] Xing，K。；胡，B。；Chen，H.，具有共享资源的柔性制造系统petri-net建模的死锁避免策略，IEEE Trans。自动。控制，41，289-295（1996）·Zbl 0845.90067号
[111] Yamalidou，K。；穆迪，J。；莱蒙，M。；Antsaklis，P.，基于位置不变量的petri网反馈控制，Automatica，32，15-28（1996）·兹比尔0845.93034
[112] 严先生。；李振伟。；魏，N。；Zhao，M.，一类petri网的死锁预防策略（S3PMR^*），J.Inf.Sci。工程师，25，167-183（2009）
[113] Ye，J.H。；李振伟。；Giua，A.，带协调器的petri网分散监督，IEEE Trans。系统。人类网络。系统。，45, 6, 955-966 (2015)
[114] 赵，M。；Li，Z.W.，关于柔性制造系统的一类广义Petri网模型的死锁控制，《国际生产研究》，47，6085-6107（2009）·Zbl 1198.90162号
[115] 赵，M。；Hou，Y.F.，使用数学规划为一类广义Petri网合成非阻塞监督的迭代方法，离散事件动态。系统。理论应用。，23, 3-26 (2013) ·兹比尔1266.93098
[116] 赵，M。；Hou，Y.F。；Liu，D.，基于两阶段死锁控制和数学规划的一类广义Petri网的Liveness增强监督综合，Int.J.control，83，2053-2066（2010）·Zbl 1214.68254号
[117] 赵，M。；李振伟。；Hu，H.S.，利用部分虹吸枚举和数学规划对一类广义Petri网进行次优生存强制监督设计，国际期刊系统。科学。，41, 1013-1026 (2010) ·Zbl 1202.90120
[118] Zhang，J.F。；M.Khalgui。；李振伟。；弗雷·G。；O.Mosbahi。；Salah，H.B.，分布式离散事件控制系统的可重构协调，IEEE Trans。控制系统。技术。，232, 1, 323-330 (2015)
[119] Zhang，J.F。；M.Khalgui。；李振伟。；O.Mosbahi。；Al-Ahmari，A.M.，R-TNCES:可重构离散事件控制系统的新形式，IEEE Trans。系统。人类网络。系统。，43, 4, 757-772 (2013)
[120] 张晓云。；李振伟。；钟，C.F。；Al-Ahmari，A.M.，使用位置不变量和虹吸对一类Petri网进行可达性分析，Maejo Int.J.Sci。技术。，7, 2, 278-290 (2013)
[121] 钟，C.F。；李振伟。；Barkaoui，K.，《（S^4）R网络中虹吸控制的监视器设计：从结构分析的角度》，《国际创新计算杂志》。信息控制，76667-690（2011）
[122] 钟，C.F。；Li，Z.W.，《柔性制造系统的死锁预防方法，无需对其Petri网模型进行完全虹吸枚举》，工程计算。，25, 269-278 (2009)
[123] 钟，C.F。；李振伟。；Chen，Y.F。；Al-Ahmari，A.，《关于不存在最大允许活性强制纯网络监管》，IEEE Trans。系统。人类网络。系统。，43, 29-37 (2013)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。