穆罕默德·巴希尔;李志武;穆拉特·乌扎姆;吴乃琪;阿卜杜拉赫曼·阿赫马里 关于柔性制造系统的活性增强Petri网监管器的结构约简:一种代数方法。 (英语) Zbl 1418.90101号 IMA数学杂志。控制信息。 35,第4期,1217-1249(2018). 摘要:关于柔性制造系统(FMS)的死锁预防和活跃度执行,已经进行了大量的研究。本文报告了一个代数过程来寻找一组合并的位置不变量,目的是降低FMS中增强活性的Petri网管理器的结构复杂性。首先,给出一个非受控Petri网模型,利用现有方法计算一组控制位置及其相应的位置不变量。提出了一种系统化的方法来寻找一组比原来的监督结构更紧凑的合并位置不变量,从而显著减少了FMS的活性增强Petri网监督中的控制位置数量。结构简化的主管提供了与原始主管相同或更宽容的行为。作为一种代数方法,该方法计算量小,适用于文献中现有的所有面向制造的Petri网类。使用了几个典型的制造示例来演示本研究中报告的方法。 引用于1文件 MSC公司: 90B30型 生产模型 90B25型 运筹学中的可靠性、可用性、维护和检查 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:死锁;柔性制造系统;逼真主管;Petri网 PDF格式BibTeX公司 XML格式引用 \textit{M.Bashir}等人,IMA J.数学。控制信息35,编号4,1217--1249(2018;Zbl 1418.90101) 全文: 内政部 链接