Title :
Parameterized ACD Modeling of Flexible Manufacturing Systems
Author :
Choi, Byoung K. ; Hyeonsik Kim ; Donghun Kang ; Jamjoom, Arwa A. ; Abdullah, Mohd Ariff
Author_Institution :
Dept. of Ind. & Syst. Eng., Korea Adv. Inst. of Sci. & Technol. (KAIST), Daejeon, South Korea
Abstract :
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.
Keywords :
Petri nets; discrete event systems; flexible manufacturing systems; FMS; activity cycle diagram; discrete event systems; dispatching rule modeling; flexible manufacturing systems; job flow modeling; job routing modeling; parameterized ACD modeling; refixture operation modeling; timed Petri net; Buildings; Dispatching; Load modeling; Machining; Object oriented modeling; Routing; Activity cycle diagram (ACD); activity transition table; flexible manufacturing system (FMS); incremental modeling procedure; parameterized ACD (P-ACD);
Journal_Title :
Automation Science and Engineering, IEEE Transactions on
DOI :
10.1109/TASE.2013.2296570