Petri net representation and reachability analysis of 0-1 integer linear programming problems

被引：4
|
作者：
Kodama, Akito [1 ]
Nishi, Tatsushi [1 ]
机构：
[1] Osaka Univ, Dept Syst Innovat, Div Math Sci Social Syst, Grad Sch Engn Sci, 1-3 Machikaneyama, Toyonaka, Osaka 5608531, Japan
来源：
INFORMATION SCIENCES | 2017年 / 400卷
关键词：
Discrete event systems; Petri net; 0-1 integer linear programming problem; Optimal transition firing sequence problems; Reachability analysis; AGV systems; AUTOMATED GUIDED VEHICLES; FLEXIBLE MANUFACTURING SYSTEMS; OPTIMAL SUPERVISORY CONTROL; DEADLOCK PREVENTION POLICY; DECOMPOSITION APPROACH; AGV SYSTEMS; AVOIDANCE; SIPHONS; MODEL;
D O I：
10.1016/j.ins.2017.03.014
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we investigate a general algorithm for converting the 0-1 integer linear programming problem (0-1IP) into an optimal transition firing sequence problem (OFSP) of a Petri net (PN). The general 0-1IP can be visualized graphically and then analyzed using the PN theory after application of our proposed conversion algorithm. The proposed algorithm is applied to a traveling salesman problem, a vehicle routing problem and an automated guided vehicles (AGV) routing problem. A PN reduction technique is employed to reduce the size of the PN. Valid inequalities are derived using reachability analysis of the converted PN model. These inequalities are imposed on the original 0-1IP. Computational results show that the total computational time for solving an AGVRP with the valid inequalities derived using the reachability analysis is significantly reduced. (C) 2017 Elsevier Inc. All rights reserved.
引用
收藏
页码：157 / 172
页数：16
相关论文
共 50 条
  • [41] Continuous solution to linear 0-1 programming
    Li, Yan-Yan
    Li, Xing-Si
    Dalian Ligong Daxue Xuebao/Journal of Dalian University of Technology, 2009, 49 (02): : 299 - 302
  • [42] A 0-1 INTEGER PROGRAMMING APPROACH TO A UNIVERSITY TIMETABLING PROBLEM
    Bakir, M. Akif
    Aksop, Cihan
    HACETTEPE JOURNAL OF MATHEMATICS AND STATISTICS, 2008, 37 (01): : 41 - 55
  • [43] THE 0-1 INTEGER PROGRAMMING PROBLEM IN A FINITE RING WITH IDENTITY
    RICE, B
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1981, 7 (06) : 497 - 502
  • [44] GROUP THEORETIC APPROACH TO INTEGER PROGRAMMING AND 0-1 CASE
    BALAS, E
    OPERATIONS RESEARCH, 1973, 21 (01) : 321 - 322
  • [45] Using 0-1 Integer Quadratic Programming for Investment Problem
    Zhang, Yan
    Zhou, Yan
    Wu, Qing-yi
    2016 3RD INTERNATIONAL CONFERENCE ON ADVANCED EDUCATION AND TECHNOLOGY AND MANAGEMENT SCIENCE (AETMS 2016), 2016, : 395 - 399
  • [46] Optimization Algorithm for Credibility of Equipment Operational Test Based on 0-1 Integer Linear Programming
    Lei, Z.
    Sun, Y.
    He, J. W.
    Zhang, W.
    2015 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND TECHNOLOGY (ICCST 2015), 2015, : 347 - 352
  • [47] On efficient solutions of 0-1 multi-objective linear programming problems
    Dumaldar, Mahesh
    OPSEARCH, 2015, 52 (04) : 861 - 869
  • [48] Mixed integer programming for the 0-1 maximum probability model
    Billionnet, A
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2004, 156 (01) : 83 - 91
  • [49] New convergent heuristics for 0-1 mixed integer programming
    Wilbaut, Christophe
    Hanafi, Said
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2009, 195 (01) : 62 - 74
  • [50] Computing Stable Semantics of AF by 0-1 Integer Programming
    Osorio, Mauricio
    Diaz, Juan
    Santoyo, Alejandro
    25TH INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS AND COMPUTERS (CONIELECOMP 2015), 2015, : 204 - 211
12345