Parameterized ACD Modeling of Flexible Manufacturing Systems

Autor:	Hyeonsik Kim, Byoung Kyu Choi, Donghun Kang, Manal Abdullah, Arwa Jamjoom
Rok vydání:	2014
Předmět:	Activity cycle diagram Control and Systems Engineering Computer science Job shop Flexible manufacturing system Parameterized complexity Electronics Electrical and Electronic Engineering Petri net Routing (electronic design automation) Manufacturing systems Industrial engineering Simulation
Zdroj:	IEEE Transactions on Automation Science and Engineering. 11:637-642
ISSN:	1558-3783 1545-5955
DOI:	10.1109/tase.2013.2296570
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::35cd4d7bd351659059bf25792006da9a https://doi.org/10.1109/tase.2013.2296570 Zobrazit plný text záznamu