10.3969/j.issn.1001-2400.2008.02.029
S3PR网的一种死锁预防策略
针对S3PR网的死锁预防问题,提出了一个有效的死锁预防控制算法,将用于死锁避免的C/D-RUN控制策略扩展到基于信标的死锁预防策略中,合理分配控制库所的资源,从而保证不存在死锁的状态和步骤.首先将S3PR网中的严格极小信标分为基本信标和从属信标,由基本信标集合得出一组状态向量表示的线性不等式约束,然后将这组约束用C/D-RUN策略进行优化,得到一组标识向量满足的广义相互抑制约束.根据所得标识约束添加控制库所,使所有基本信标均为P-不变式可控,得到活的、结构简单的、许可行为更多的Petri网监督控制器.
柔性制造系统、死锁预防、Petri网、基本信标、S3PR
35
TP278(自动化技术及设备)
国家自然科学基金60474018;教育部留学回国人员科研启动基金2004-527;教育部留学回国人员科研启动基金03401
2008-05-26（万方平台首次上网日期，不代表论文的发表时间）
共4页
330-333
