基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
研究了Petri网的柔性制造加工系统中的死锁避免问题.为了保证死锁避免和资源最大允许利用,提出了基于广义互斥约束的Petri网最优监控器的设计方法,探寻以线性不等式的形式表示的初步约束集,通过可达性分析和初步约束集建立可达树得出合法标识集和死锁标识集,对分离出的标识建立混合整数线性规划模型,运用分支定界法得到补充监控库所的广义互斥约束模型作为最优监控器.最后,以某柔性制造系统为例,建立了Petri网模型,结合零件加工过程中资源的占用和释放,对柔性制造系统进行控制器设计,设计的控制器拥有更严格的约束和更简化的模型,对死锁标识的避免是充分的,验证了该算法的有效性.
推荐文章
部分可控Petri网分布式死锁监控器设计
部分可控Petri网
分布式监控器
死锁避免
分支定界法
线性规划
Petri网并发进程的死锁避免策略
Petri网
监控器
死锁避免
广义互斥约束
基于Petri网结构分析的监控器综合
离散事件系统
Petri网
监控器综合
不可控不可观变迁
基于LM3S608的现场监控器设计
现场监控器
LM3S608
串行-并行转换器
RS 485通信
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 广义互斥约束的Petri网死锁避免监控器设计
来源期刊 农业机械学报 学科 工学
关键词 Petri网 监控器 死锁避免 广义互斥约束
年,卷(期) 2015,(8) 所属期刊栏目 先进制造技术及基础理论
研究方向 页码范围 327-332
页数 分类号 TP311|TP393
字数 语种 中文
DOI 10.6041/j.issn.1000-1298.2015.08.045
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 王志胜 南京航空航天大学自动化学院 83 518 13.0 19.0
2 刘久富 南京航空航天大学自动化学院 53 207 8.0 11.0
3 杨忠 南京航空航天大学自动化学院 125 1388 18.0 32.0
4 刘文良 南京航空航天大学自动化学院 6 19 3.0 4.0
5 周建勇 南京航空航天大学自动化学院 8 22 3.0 4.0
6 刘海阳 东南大学电子信息工程学院 9 15 2.0 3.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (24)
共引文献  (10)
参考文献  (14)
节点文献
引证文献  (2)
同被引文献  (9)
二级引证文献  (2)
1989(3)
  • 参考文献(1)
  • 二级参考文献(2)
1990(3)
  • 参考文献(1)
  • 二级参考文献(2)
1994(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(2)
  • 参考文献(0)
  • 二级参考文献(2)
1996(2)
  • 参考文献(1)
  • 二级参考文献(1)
1997(2)
  • 参考文献(0)
  • 二级参考文献(2)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(2)
  • 参考文献(1)
  • 二级参考文献(1)
2001(2)
  • 参考文献(0)
  • 二级参考文献(2)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(6)
  • 参考文献(1)
  • 二级参考文献(5)
2004(2)
  • 参考文献(0)
  • 二级参考文献(2)
2006(3)
  • 参考文献(2)
  • 二级参考文献(1)
2007(1)
  • 参考文献(0)
  • 二级参考文献(1)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(2)
  • 参考文献(2)
  • 二级参考文献(0)
2012(1)
  • 参考文献(1)
  • 二级参考文献(0)
2013(3)
  • 参考文献(3)
  • 二级参考文献(0)
2015(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2018(2)
  • 引证文献(2)
  • 二级引证文献(0)
2020(2)
  • 引证文献(0)
  • 二级引证文献(2)
研究主题发展历程
节点文献
Petri网
监控器
死锁避免
广义互斥约束
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
农业机械学报
月刊
1000-1298
11-1964/S
大16开
北京德外北沙滩1号6信箱
2-363
1957
chi
出版文献量(篇)
11867
总下载数(次)
31
总被引数(次)
174483
论文1v1指导