西安电子科技大学学报(自然科学版)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
摘要
关键词
整数规划/Petri网/危险状态/死锁控制Key words
integer programming/Petri nets/dangerous markings/deadlock control分类
信息技术与安全科学引用本文复制引用
王祺,王安荣,蒲绪强..制造系统Petri网特殊标识求解算法[J].西安电子科技大学学报(自然科学版),2013,40(6):85-91,7.基金项目
国家自然科学基金资助项目(61074035) (61074035)
教育部高等学校博士点基金资助项目(20090203110009) (20090203110009)