期刊文献+

Control Algorithm Using a Revised MIP Method to Deal with Livelocks in S~4R of Petri Nets

分享 导出
摘要 Livelocks, like deadlocks, can result in serious results in running process of flexible manufacturing systems(FMSs). Current deadlock control policies(DCPs) based on mixed integer programming(MIP) cannot detect siphons that cause and cope with livelocks in Petri nets. This study proposes a revised mixed integer programming(RMIP) method to directly solve the new smart siphons(NSSs) associated with livelocks in a system of sequential systems with shared resources(S~4 R), a typical subclass of generalized Petri net models. Accordingly,the solved NSSs are max’-controlled by adding the corresponding control places(CPs). As a result, an original S~4 R system with livelocks can be converted into the live controlled Petri net system. The related theoretical analysis and an example are given to demonstrate the proposed RMIP and the corresponding control algorithm(CA).
作者 李绍勇 吴宗礼 李海林 魏先宏 蔡颖 厚彩琴 LI Shaoyong;WU Zongli;LI Hailin;WEI Xianhong;CAI Ying;HOU Caiqin(不详)
出处 《上海交通大学学报:英文版》 EI 2019年第2期190-195,共6页 Journal of Shanghai Jiaotong university
基金 the National Natural Science Foundation of China(No.61364004) the Chinese Visiting Scholars to Study Overseas Program supported by China Scholarship Council Foundation(No.[2014]5049,201408625045) the Doctoral Research Funds of Lanzhou University of Technology(No.04-237) the Alumni Foundation of Civil Engineering 77,Lanzhou University of Technology(No.TM-QK-1301).
作者简介 LI Shaoyong,E-mail:lishaoyong99@163.com.
  • 相关文献
投稿分析

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部 意见反馈