基于线性规划的Petri网结构分析

发布时间：2024-02-22 01:44

　　柔性制造系统(FMS)通过资源共享的方式生产加工出各种各样的产品,基于对有限资源的竞争,死锁现象可能会出现在FMS中。如果死锁发生,就会导致系统被阻塞,系统的效率和生产力就会降低。因此,在FMS系统的设计与控制过程中,必须考虑死锁问题。Petri网是一种适合对FMS系统进行建模和仿真控制的工具。基于结构分析在FMS的死锁控制中起着重要的作用。Petri网结构中,信标和资源环是两种特殊的结构,它们和死锁有很强关联。理论上信标和资源环的数量与Petri网规模呈指数增长。有效地计算Petri网中全部的极小信标与资源环成为科研工作亟需解决的问题。本文提出了一种利用整数线性规划计算一般Petri网模型中全部极小信标以及全部资源环的方法。基于可达图的Petri网分析方法一般能够实现死锁的最优控制,但需要计算网模型的全部可达状态,该方法受状态爆炸问题的制约。基于避免计算Petri网全部可达状态,结合信标与可达图理论,本文提出一种只搜索部分可达图就能得到Petri网死区标识集(DZ)的策略。本文主要研究内容如下:1、本文提出了一种利用整数线性规划计算一般Petri网模型中全部极小信标和全部资源环的方法...

【文章页数】：80 页

【学位级别】：硕士

【部分图文】：

图10南海海域潜艇各航向各航速的磁异曲线

讲獾挠跋旆治觯ㄗ艿?5-）未来士兵系统作战概念研究基于“作战云”的“云作战”问题探析基于动态调节时间的导弹编队逆最优控制算法动态模糊Petri网下的Adhoc风险评估航母作战部署的舰载机出动架次优化研究基于ERA和PT的舰艇编队多作战想定下效能评价基于伪随机线性调频的双序列跳频通....

图3.3LPMS算法实验数据图

实验的环境：软件：C++语言，MicrosoftVisualStudio2010，LINDO计算包。硬件：Intel(R)Core(TM)i5-3230M，CPU2.60GHz，内存4GB，64位windows7系统。实验数据说明：随机生成Petri网模型....

图3.4LPMS算法实验数据对比图

图3.4LPMS算法实验数据对比图进行测试的最长用时限定为2小时，在规定时间内对于节点数量P+T≤200的般Petri网模型均能够得到其包含的全部极小信标，经统计极小信标数量在区间500,2500]内。从LPMS算法的实验结果可以得出如下结论：1、LPMS....

图3.6算法LPC0与算法LPC1对比实验图

网模型中环路的数量，纵坐标表示算法运行时间。为将数据显示地更形象，采取单对数坐标轴对数据进行展示，即横坐标以对数方式刻度，纵坐标以线性比例均匀刻度。图3.6算法LPC0与算法LPC1对比实验图从算法LPC1与算法LPC0的对比实验结果中可以得出如下结论：1、算法....

本文编号：3906208