柔性制造系统无死锁Petri网控制器的分解研究

发布时间：2021-09-22 06:08

　　本文致力于柔性制造系统（FMS）中死锁预防问题的研究。传统的死锁预防策略要对每个可被清空的严格极小信（SMS）标添加一个控制库所从而使Petri网模型受控。SMS的数量决定了该控制策略会导致一个结构异常复杂的死锁预防控制器。基本信标概念的提出极大地避免了这种情况的发生。本文针对Petri网的一个子类-ES3PR网提出了两种基于基本信标的死锁预防策略。在第一种策略中,对基本信标添加的控制库所保证其被P不变式控制且不会产生新的可被清空的信标。通过调整某些基本信标的控制深度变量可使整个网系统最大可控,接着对控制器的冗余控制库所进行检测,移除某些冗余控制库所,从而进一步简化控制器、减少对网系统的限制。为了能控制网系统,通常需要穷举所有的SMS。而SMS数量随着网络规模成指数增长,所以要求出所有SMS是非常耗时的,有时甚至是可望而不可及的。第二种控制策略能同时避免穷举SMS和控制器中从属信标的产生,同时将受控广义网转换成普通网。进一步降低控制器的结构复杂性,为继续研究该受控网提供方便,有很好的实际应用价值。通过同一个FMS制造系统实例的检验,这两种死锁预防策略都取得了良好的控制效果,显示出了各自... 

【文章来源】：西安电子科技大学陕西省 211工程院校 教育部直属院校

【文章页数】：68 页

【学位级别】：硕士

【部分图文】：

FMS单元在这个FMS单元中，机器人R1可以将输入缓存库I1中的零件装载到机床M1

ES3PR 网是对 S3PR 网的进一步扩展，因此应用范围多个状态机，状态机之间共享一系列的资源，资源库所中的的数目，而且，一个工作状态可能同时需要多个不同类的资程 P1 中，工序状态库所 p7代表机床 M3正在加工工件，此时M3，H1和 H2。

图 3.2 加工进程 P1 和 P2从图中可以看到，ES3PR 网是对 S3PR 网的进一步扩展，因此R 网包含多个状态机，状态机之间共享一系列的资源，资源此类资源的数目，而且，一个工作状态可能同时需要多个不实例的进程 P1 中，工序状态库所 p7代表机床 M3正在加工工类资源：M3，H1和 H2。


本文编号：3403274