Parameterized ACD Modeling of Flexible Manufacturing Systems

被引：4

作者：

Choi, Byoung K. ^{[1
,2
]}

Kim, Hyeonsik ^{[1
]}

Kang, Donghun ^{[1
]}

Jamjoom, Arwa A. ^{[3
]}

Abdullah, Manal A. ^{[3
]}

机构：

[1] Korea Adv Inst Sci & Technol, Dept Ind & Syst Engn, Taejon 305701, South Korea

[2] King Abdulaziz Univ, Jeddah 21589, Saudi Arabia

[3] King Abdulaziz Univ, Dept Comp Sci, Jeddah 21589, Saudi Arabia

来源：

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING | 2014年 / 11卷 / 02期

关键词：

Activity cycle diagram (ACD); parameterized ACD (P-ACD); activity transition table; flexible manufacturing system (FMS); incremental modeling procedure; ACTIVITY CYCLE DIAGRAM; PETRI-NET;

D O I：

10.1109/TASE.2013.2296570

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Activity cycle diagram (ACD), which is essentially a timed Petri net, is one of the oldest formal modeling tools for discrete-event systems, and a flexible manufacturing system (FMS) is a highly automated job shop that is used widely in mechanical and electronics industries. Previous FMS modeling studies have indicated that formal modeling of real-life (or industrial) FMSs with classical ACDs (or Petri nets) is almost impossible. This paper presents an incremental modeling procedure for building a formal simulation model of a real-life FMS with parameterized ACD (P-ACD) that was proposed recently. The incremental modeling procedure consists of job flow modeling, job routing modeling, dispatching rule modeling, and refixture operation modeling. In this paper, a P-ACD model of a real-life FMS was constructed and an FMS simulator was implemented from the proposed P-ACD model. A simulation experiment was conducted in order to demonstrate the usefulness of the FMS simulator.

引用

页码：637 / 642

页数：7

共 23 条

[1] Analysis of the Petri net model of parallel manufacturing processes with shared resources [J].

Ahmad, Farooq ;

Huang, Hejiao ;

Wang, Xiaolong .

INFORMATION SCIENCES, 2011, 181 (23) :5249-5266

[2]

Carrie A., 1988, SIMULATION MANUFACTU

[3] Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems [J].

Chen, YuFeng ;

Li, Zhiwu .

AUTOMATICA, 2011, 47 (05) :1028-1034

[4] Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems [J].

Chen, YuFeng ;

Li, Zhiwu ;

Khalgui, Mohamed ;

Mosbahi, Olfa .

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2011, 8 (02) :374-393

[5]

Choi BK, 2013, MODELING AND SIMULATION OF DISCRETE-EVENT SYSTEMS, P1, DOI 10.1002/9781118732793

[6] Object-oriented graphical modeling of FMSs [J].

Choi, BK ;

Han, KH ;

Park, TY .

INTERNATIONAL JOURNAL OF FLEXIBLE MANUFACTURING SYSTEMS, 1996, 8 (02) :159-182

[7] Parameterized Activity Cycle Diagram and Its Application [J].

Choi, Byoung K. ;

Kang, Donghun ;

Lee, Taesik ;

Jamjoom, Arwa A. ;

Abulkhair, Maysoon F. .

ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2013, 23 (04) :1-18

[8] PERFORMANCE EVALUATION OF JOB-SHOP SYSTEMS USING TIMED EVENT-GRAPHS [J].

HILLION, HP ;

PROTH, JM .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1989, 34 (01) :3-9

[9] SIMULATION MODELING OF FLEXIBLE MANUFACTURING SYSTEMS USING ACTIVITY CYCLE DIAGRAMS [J].

HLUPIC, V ;

PAUL, RJ .

JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 1994, 45 (09) :1011-1023

[10] Intelligence, innovation and integrity-KD Tocher and the dawn of simulation [J].

Hollocks, B. W. .

JOURNAL OF SIMULATION, 2008, 2 (03) :128-137

← 1 2 3 →