基于变迁覆盖的制造系统死锁控制策略

摘要：

基于系统Petri网模型,研究柔性制造系统的死锁控制问题.论文利用变迁覆盖为系统设计活性控制器.变迁覆盖是由一组极大完备资源变迁回路组成的集合,其变迁集覆盖了Petri网中所有极大完备资源变迁回路的变迁集.验证变迁覆盖的有效性,然后仅对有效变迁覆盖中的极大完备资源变迁回路添加控制位置,就得到系统的活性受控Petri网.这种受控Petri网包含的控制位置个数少,从而结构相对简单.最后通过一个例子说明了所提出的死锁控制策略的构成与特点.

关键词：柔性制造系统、Petri网、死锁控制

所属期刊栏目：30

分类号：TP278(自动化技术及设备)

资助基金：国家自然科学基金资助项目60774083,50975224

在线出版日期：2013-06-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：425-431