柔性制造系统活性监督控制器设计的算法优化

• 论文 •

柔性制造系统活性监督控制器设计的算法优化

郭金维，陈楠，王国锋

西安电子科技大学机电工程学院，陕西西安710071

出版日期:2010-03-15 发布日期:2010-03-25

Optimization algorithm of a liveness-enforcing supervisor for flexible manufacturing systems

GUO Jin-wei，CHEN Nan，WANG Guo-feng

School of Electro-Mechanical Engineering， Xidian University， Xi'an 710071, China

Online:2010-03-15 Published:2010-03-25

摘要/Abstract

摘要： 针对区域法设计系统控制器时存在求解线性规划次数过多、算法复杂和状态爆炸等问题，提出了一个能有效降低计算复杂度的优化算法，解决了由状态爆炸引起的求解线性规划次数指数级递增的问题；证明了任何普通网系统需要添加的控制库所的数量不超过事件分离事例个数和|T|+1中的最小者。通过所提算法，最终获得结构简单、状态最大许可的柔性制造系统活性监督控制器。

关键词: Petri网, 柔性制造系统, 区域理论, 事件分离事例, 线性规划

Abstract: To reduce the computation complexity during the design process of the supervisor for flexible manufacturing systems (FMS), an optimization algorithm was presented. The number of linear programming problems (LPP) to be solved was reduced greatly. It was proved that, for any normal net system, the number of monitors to be added was less than the smaller of the number of separation instances and |T|+1. According to the algorithm proposed, a simplified liveness-enforcing supervisor with maximal permissive behavior was obtained．

Key words: Petri nets, flexible manufacturing systems, theory of regions, marking/transition separation instances, linear programming

中图分类号:

TP278

郭金维，陈楠，王国锋. 柔性制造系统活性监督控制器设计的算法优化[J]. .

GUO Jin-wei，CHEN Nan，WANG Guo-feng. Optimization algorithm of a liveness-enforcing supervisor for flexible manufacturing systems[J]. .

[1]	鲁法明,崔明浩,包云霞,曾庆田,段华. 基于程序运行轨迹Petri网模型挖掘的死锁检测方法[J]. 计算机集成制造系统, 2021, 27(9): 2611-2624.
[2]	王丽丽,方贤文. 基于行为距离的带隐变迁过程模型挖掘方法[J]. 计算机集成制造系统, 2021, 27(9): 2670-2679.
[3]	张海军,闫琼,张国辉,李庆宇,余杰. 基于数字孪生的制造资源动态优选决策[J]. 计算机集成制造系统, 2021, 27(2): 521-535.
[4]	琚长江,杨根科,陈玉旺. 参数化路径的S-型进给速度最优规划[J]. 计算机集成制造系统, 2021, 27(1): 157-165.
[5]	李文川,高思源,章鑫,冯良清. 基于随机Petri网的企业RFID技术采纳内化建模与仿真[J]. 计算机集成制造系统, 2020, 26(第2): 470-480.
[6]	何彦,陈文奇,王禹林,岳冠楠,李育锋,田小成. 集成设计参数和制造参数的车削工件机加工能耗预测方法[J]. 计算机集成制造系统, 2020, 26(9): 2355-2366.
[7]	张立彬,吕焕培,胥芳,谭大鹏,陈教料,林琼. 面向低压电器的CPN协同装配任务建模与优化[J]. 计算机集成制造系统, 2020, 26(7): 1737-1748.
[8]	刘聪,程龙,曾庆田,闻立杰,欧阳春. 基于Petri网的分层业务过程挖掘方法[J]. 计算机集成制造系统, 2020, 26(6): 1525-1537.
[9]	黄苾,代飞,王亚博,莫启,曹涌,王雷光. 基于Petri网分析编排的可实现性[J]. 计算机集成制造系统, 2020, 26(6): 1548-1556.
[10]	韩咚,田银花,杜玉越,张琴. 基于Petri网可达图的业务对齐方法[J]. 计算机集成制造系统, 2020, 26(6): 1589-1606.
[11]	郝惠晶,方贤文,方娜,许健. 基于Petri网的业务流程低频行为挖掘与优化分析[J]. 计算机集成制造系统, 2020, 26(6): 1660-1667.
[12]	任彩乐,杨旭东,张超勇,孟磊磊,洪辉,余俊. 面向节能的混合流水车间调度问题建模与优化[J]. 计算机集成制造系统, 2019, 25(第8): 1965-1980.
[13]	孟磊磊,张超勇,肖华军,詹欣隆,罗敏. 面向加工时间可控的柔性作业车间节能调度问题建模[J]. 计算机集成制造系统, 2019, 25(第5): 1062-1074.
[14]	田银花,杜玉越,韩咚,刘伟. 基于Petri网的事件日志与过程模型对齐方法[J]. 计算机集成制造系统, 2019, 25(第4): 809-829.
[15]	王颖,周晓宇,王钊,张学馨,陈丽娇. 基于Artifact生命周期的业务流程一致性检查[J]. 计算机集成制造系统, 2019, 25(第4): 856-863.