Journal of Shanghai Jiao Tong University (Science) ›› 2019, Vol. 24 ›› Issue (2): 190-195.doi: 10.1007/s12204-018-2014-x

• • 上一篇    下一篇

Control Algorithm Using a Revised MIP Method to Deal with Livelocks in S4R of Petri Nets

LI Shaoyong* (李绍勇), WU Zongli (吴宗礼), LI Hailin (李海林), WEI Xianhong (魏先宏), CAI Ying (蔡颖), HOU Caiqin (厚彩琴)   

  1. (School of Civil Engineering, Lanzhou University of Technology, Lanzhou 730050, China)
  • 出版日期:2019-04-30 发布日期:2019-04-01
  • 通讯作者: LI Shaoyong* (李绍勇) E-mail:lishaoyong99@163.com

Control Algorithm Using a Revised MIP Method to Deal with Livelocks in S4R of Petri Nets

LI Shaoyong* (李绍勇), WU Zongli (吴宗礼), LI Hailin (李海林), WEI Xianhong (魏先宏), CAI Ying (蔡颖), HOU Caiqin (厚彩琴)   

  1. (School of Civil Engineering, Lanzhou University of Technology, Lanzhou 730050, China)
  • Online:2019-04-30 Published:2019-04-01
  • Contact: LI Shaoyong* (李绍勇) E-mail:lishaoyong99@163.com

摘要: 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 (S4R), 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 S4R 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).

关键词: flexible manufacturing system (FMS), Petri nets, revised mixed integer programing (RMIP), livelocks, live controlled Petri net system

Abstract: 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 (S4R), 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 S4R 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).

Key words: flexible manufacturing system (FMS), Petri nets, revised mixed integer programing (RMIP), livelocks, live controlled Petri net system

中图分类号: