| 注册
首页|期刊导航|西安电子科技大学学报(自然科学版)|制造系统Petri网特殊标识求解算法

制造系统Petri网特殊标识求解算法

王祺 王安荣 蒲绪强

西安电子科技大学学报(自然科学版)2013,Vol.40Issue(6):85-91,7.
西安电子科技大学学报(自然科学版)2013,Vol.40Issue(6):85-91,7.DOI:10.3969/j.issn.1001-2400.2013.06.015

制造系统Petri网特殊标识求解算法

Computation of special markings of Petri nets of manufacturing systems

王祺 1王安荣 1蒲绪强1

作者信息

  • 1. 西安电子科技大学机电工程学院,陕西西安710071
  • 折叠

摘要

关键词

整数规划/Petri网/危险状态/死锁控制

Key words

integer programming/Petri nets/dangerous markings/deadlock control

分类

信息技术与安全科学

引用本文复制引用

王祺,王安荣,蒲绪强..制造系统Petri网特殊标识求解算法[J].西安电子科技大学学报(自然科学版),2013,40(6):85-91,7.

基金项目

国家自然科学基金资助项目(61074035) (61074035)

教育部高等学校博士点基金资助项目(20090203110009) (20090203110009)

西安电子科技大学学报(自然科学版)

OA北大核心CSCDCSTPCD

1001-2400

访问量0
|
下载量0
段落导航相关论文