|
|
|
|
【英文篇名】 |
A two-stage deadlock control policy with maximally reachable number for ordinary Petri nets |
|
【下载频次】 |
★★ |
|
【作者】 |
李绍勇;
肖兴达;
蔡颖;
厚彩琴;
韩喜莲;
马兵善; |
|
【英文作者】 |
LI Shao-yong;
XIAO Xing-da;
CAI Ying;
HOU Cai-qin;
HAN Xi-lian;
MA Bing-shan;
School of Civil Engineering;
Lanzhou University of Technology;
School of Electronic and Electrical Engineering;
Kaifeng University; |
|
【作者单位】 |
兰州理工大学土木工程学院;
开封大学电子电气工程学院; |
|
【文献出处】 |
控制理论与应用
, Control Theory & Applications, 编辑部邮箱
2017年 02期
期刊荣誉：中文核心期刊要目总览 ASPT来源刊 CJFD收录刊 |
|
【中文关键词】 |
Petri网;
死锁控制;
基本信标;
最大可达数;
最大许可行为数目; |
|
【英文关键词】 |
Petri nets;
deadlock control;
elementary siphon(ES);
maximally reachable number(MRN);
number of maximally permissive behavior(NMPB); |
|
【摘要】 |
针对普通Petri网的死锁问题,本文提出了可实现最大可达数的两段式死锁控制策略(deadlock control policy,DCP).第1步,该策略求解原网(N0,M0)的基本信标(elementary siphons,ES)和从属信标(dependent siphons,DS),对每个基本信标添加控制库所(control place,CP)和控制变迁(control transition,CT),获得拓展网系统(N′,M′).第2步,构建拓展网系统的P–不变式整数规划问题,测试原网中从属信标的可控性.若所有从属信标满足可控条件,则直接得到活性受控网系统(N*,M*);反之,对不满足可控条件的从属信标也添加控制库所和变迁,从而也得到了(N*,M*).通过理论分析和算例验证,表明了该死锁控制策略的正确性和有效性.相比目前文献中的可实现最大许可行为数目(number of maximally permissive behavior,NMPB)的普通Petri网死锁预防策略,该DCP获取的活性受控网系统(N*,M*)可达数目与原网(N0,M0)是相同的,且最大可达数(maximally reachable nu... |
|
【英文摘要】 |
This paper develops a two-stage deadlock control policy(DCP) with maximally reachable number(MRN)for the deadlock problems in ordinary Petri nets(OPNs). First, this DCP solves elementary siphons(ESs) and dependent siphons(DSs) in the original uncontrolled net(N0, M0) and then adds a control place(CP) and a control transition(CT)for each ES. Accordingly, an extended net system(N′, M′) is obtained. Second, the controllability test for DSs in N0 is executed by means of constructing an integer programming probl... |
|
【基金】 |
国家自然科学基金项目(61364004);
国家出国留学人员基金项目([2014]5049,201408625045);
兰州理工大学博士研究基金项目(B04–237);兰州理工大学建工七七基金项目(TM–QK–1301)资助~~ |
|
【更新日期】 |
2017-04-12 |
|
【分类号】 |
TP301.1 |
|
【正文快照】 |
1引言(Introduction)柔性制造系统(flexible manufacturing system,FMS)以多品种、小批量和经济等特性,能够动态响应产品市场的快速变化和需求,所以在目前的产品制造领域中占据了主导地位.而死锁(deadlock)问题是FMS设计时必须考虑和加以解决的.死锁的发生会导致部分或整个FMS? |
|
| 【相似文献】 |
 |
中国期刊全文数据库 |
 |
|
|
中国优秀硕士学位论文全文数据库 |
|
|
|
中国博士学位论文全文数据库 |
|
|
|
中国重要会议论文全文数据库 |
|
|
|
中国重要报纸全文数据库 |
|
|
|
中国学术期刊网络出版总库 |
|
|
|
|
点击下列相关研究机构和相关文献作者，可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献，使您全面了解该机构和该作者的研究动态和历史。
|
|
【文献分类导航】从导航的最底层可以看到与本文研究领域相同的文献，从上层导航可以浏览更多相关领域的文献。
|
|
|
| 
推荐 
