基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
基于整数规划提出了一种在Petri网部分可达图范围内求解危险标识的算法.该算法首先从死标识的定义出发,结合结构不变式(P-不变式),求出Petri网的所有死标识;再利用状态方程,推算出到达这些死锁标识的坏标识及危险标识(如果Petri网不含有这些特殊标识,则输出结果为空集);最后,用一个制造系统的Petri网对该算法进行仿真.仿真结果表明,使用该算法求解网的特殊标识(死标识和危险标识),是通过求解部分可达标识实现的.该算法有效减小了算法的搜索空间,避免了Petri网的状态空间爆炸问题.
推荐文章
柔性制造系统Petri网模型中的两类特殊资源
柔性制造系统
Petri网
信标
死锁
资源
利用Petri网特征结构的故障诊断方法
故障诊断
Petri网
库所不变量
故障函数
带抑制弧Petri网极小活标识的配置
抑制弧
Petri网
结构活
极小活标识
配置算法
基于时间Petri网的自动制造系统排产优化方法
Petri网
自动制造系统
排产
生产线路
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 制造系统Petri网特殊标识求解算法
来源期刊 西安电子科技大学学报(自然科学版) 学科 工学
关键词 整数规划 Petri网 危险状态 死锁控制
年,卷(期) 2013,(6) 所属期刊栏目
研究方向 页码范围 85-91
页数 7页 分类号 TP271+8
字数 5559字 语种 中文
DOI 10.3969/j.issn.1001-2400.2013.06.015
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 王安荣 西安电子科技大学机电工程学院 10 51 5.0 7.0
2 蒲绪强 西安电子科技大学机电工程学院 3 138 3.0 3.0
3 王祺 西安电子科技大学机电工程学院 2 6 1.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (7)
共引文献  (5)
参考文献  (9)
节点文献
引证文献  (5)
同被引文献  (11)
二级引证文献  (11)
1992(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(2)
  • 参考文献(1)
  • 二级参考文献(1)
2003(2)
  • 参考文献(1)
  • 二级参考文献(1)
2004(1)
  • 参考文献(0)
  • 二级参考文献(1)
2006(1)
  • 参考文献(0)
  • 二级参考文献(1)
2007(1)
  • 参考文献(0)
  • 二级参考文献(1)
2008(1)
  • 参考文献(0)
  • 二级参考文献(1)
2010(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(1)
  • 参考文献(1)
  • 二级参考文献(0)
2012(2)
  • 参考文献(2)
  • 二级参考文献(0)
2013(3)
  • 参考文献(3)
  • 二级参考文献(0)
2013(3)
  • 参考文献(3)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2015(3)
  • 引证文献(3)
  • 二级引证文献(0)
2016(3)
  • 引证文献(0)
  • 二级引证文献(3)
2017(5)
  • 引证文献(0)
  • 二级引证文献(5)
2018(2)
  • 引证文献(0)
  • 二级引证文献(2)
2019(2)
  • 引证文献(1)
  • 二级引证文献(1)
2020(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
整数规划
Petri网
危险状态
死锁控制
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
西安电子科技大学学报(自然科学版)
双月刊
1001-2400
61-1076/TN
西安市太白南路2号349信箱
chi
出版文献量(篇)
4652
总下载数(次)
5
总被引数(次)
38780
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导