Model reformulation for conflict-free routing problems using Petri Net and Deterministic Finite Automaton

被引：5

作者：

Nakamura R. ^{[1
]}

Sawada K. ^{[1
]}

Shin S. ^{[1
]}

Kumagai K. ^{[1
,2
]}

Yoneda H. ^{[2
]}

机构：

[1] The University of Electro-Communications, Tokyo

[2] Murata Machinery, Ltd, Tokyo

来源：

Artificial Life and Robotics | 2015年 / 20卷 / 03期

基金：

日本学术振兴会;

关键词：

Deterministic Finite Automaton; Discrete event system; Petri Net; Routing;

D O I：

10.1007/s10015-015-0215-z

中图分类号：

学科分类号：

摘要：

It is well known that routing problems are recast as a binary integer linear programming in overhead hoist transport (OHT) vehicle systems. Two kinds of discrete-time state space models of the routing problem are proposed in this paper that simplifies the constraints and binary variables. First, a Petri Net (PN) method is used to simplify the constraints. Second, a Deterministic Finite (DF) Automaton method is used for reducing the binary inputs of the state space equation in OHT systems. Finally, some numerical examples are shown to verify the validity of the proposed methods. © 2015, ISAROB.

引用

页码：262 / 269

页数：7

共 28 条

[21] Approach to Integrated Scheduling Problems Considering Optimal Number of Automated Guided Vehicles and Conflict-Free Routing in Flexible Manufacturing Systems
Lyu, Xiangfei
Song, Yuchuan
He, Changzheng
Lei, Qi
Guo, Weifei
IEEE ACCESS, 2019, 7 : 74909 - 74924
[22] An Ant Colony Algorithm (ACA) for solving the new integrated model of job shop scheduling and conflict-free routing of AGVs
Saidi-Mehrabad, Mohammad
Dehnavi-Arani, Saeed
Evazabadian, Farshid
Mahmoodian, Vahid
COMPUTERS & INDUSTRIAL ENGINEERING, 2015, 86 : 2 - 13
[23] Deadlock-free scheduling method using petri net model analysis and GA search
Xu, G
Wu, ZM
PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, VOLS 1 & 2, 2002, : 1153 - 1158
[24] Mathematical Model and Evaluation Function for Conflict-Free Warranted Makespan Minimization of Mixed Blocking Constraint Job-Shop Problems
Sauvey, Christophe
Trabelsi, Wajdi
Sauer, Nathalie
MATHEMATICS, 2020, 8 (01)
[25] Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model
Department of Mechatronics Engineering, Guangdong University of Technology, Guangzhou, China
IEEE Trans Syst Man Cybern Pt C Appl Rev, 2 (192-204):
[26] Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model
Wu, NQ
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 1999, 29 (02): : 192 - 204
[27] Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based evolutionary endosymbiotic learning automata approach
Y. Dashora
S. Kumar
M. K. Tiwari
S. T. Newman
International Journal of Flexible Manufacturing Systems, 2007, 19 : 486 - 515
[28] Deadlock-free scheduling of an automated manufacturing system using an enhanced colored time resource Petri-net model-based Evolutionary Endosymbiotic Learning Automata approach
Dashora, Y.
Kumar, S.
Tiwari, M. K.
Newman, S. T.
INTERNATIONAL JOURNAL OF FLEXIBLE MANUFACTURING SYSTEMS, 2007, 19 (04): : 486 - 515

← 1 2 3 →