Parameterized ACD Modeling of Flexible Manufacturing Systems
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 st...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on automation science and engineering 2014-04, Vol.11 (2), p.637-642 |
|---|---|
| Hauptverfasser: | , , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 642 |
|---|---|
| container_issue | 2 |
| container_start_page | 637 |
| container_title | IEEE transactions on automation science and engineering |
| container_volume | 11 |
| creator | Choi, Byoung K. Hyeonsik Kim Donghun Kang Jamjoom, Arwa A. Abdullah, Manal A. |
| description | 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. |
| doi_str_mv | 10.1109/TASE.2013.2296570 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_proquest_journals_1515781074</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6709574</ieee_id><sourcerecordid>1671569956</sourcerecordid><originalsourceid>FETCH-LOGICAL-c326t-a2a079c4712375fa9e744cf329df2acdefbf0da2f554bf15f122c95971401fba3</originalsourceid><addsrcrecordid>eNpdkMFKw0AQhoMoWKsPIF4CXryk7mx2slnwUmqrQotC63nZJLOSkjR1NwHr05tQ8eBpBub7f4YvCK6BTQCYut9M1_MJZxBPOFcJSnYSjAAxjWKZxqfDLjBChXgeXHi_ZYyLVLFR8PBmnKmpJVd-UxFOZ4_hqimoKncfYWPDRUVfZVZRuDK7zpq87dxwWR98S7W_DM6sqTxd_c5x8L6Yb2bP0fL16WU2XUZ5zJM2MtwwqXIhgccSrVEkhchtzFVhuckLspllheEWUWQW0ALnuUIlQTCwmYnHwd2xd--az458q-vS51RVZkdN5zUkEjBRCpMevf2HbpvO7frvNCCgTIFJ0VNwpHLXeO_I6r0ra-MOGpgefOrBpx586l-ffebmmCmJ6I9PJFPYN_4A7TBwJA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1515781074</pqid></control><display><type>article</type><title>Parameterized ACD Modeling of Flexible Manufacturing Systems</title><source>IEEE Electronic Library (IEL)</source><creator>Choi, Byoung K. ; Hyeonsik Kim ; Donghun Kang ; Jamjoom, Arwa A. ; Abdullah, Manal A.</creator><creatorcontrib>Choi, Byoung K. ; Hyeonsik Kim ; Donghun Kang ; Jamjoom, Arwa A. ; Abdullah, Manal A.</creatorcontrib><description>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.</description><identifier>ISSN: 1545-5955</identifier><identifier>EISSN: 1558-3783</identifier><identifier>DOI: 10.1109/TASE.2013.2296570</identifier><identifier>CODEN: ITASC7</identifier><language>eng</language><publisher>New York: IEEE</publisher><subject>Activity cycle diagram (ACD) ; activity transition table ; Automated ; Automation ; Buildings ; Computer simulation ; Construction ; Dispatching ; Dispatching rules ; Electronics ; flexible manufacturing system (FMS) ; Flexible manufacturing systems ; incremental modeling procedure ; Load modeling ; Machining ; Manufacturing ; Mathematical models ; Object oriented modeling ; parameterized ACD (P-ACD) ; Petri nets ; Routing ; Simulation</subject><ispartof>IEEE transactions on automation science and engineering, 2014-04, Vol.11 (2), p.637-642</ispartof><rights>Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Apr 2014</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c326t-a2a079c4712375fa9e744cf329df2acdefbf0da2f554bf15f122c95971401fba3</citedby><cites>FETCH-LOGICAL-c326t-a2a079c4712375fa9e744cf329df2acdefbf0da2f554bf15f122c95971401fba3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6709574$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,776,780,792,27903,27904,54736</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6709574$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Choi, Byoung K.</creatorcontrib><creatorcontrib>Hyeonsik Kim</creatorcontrib><creatorcontrib>Donghun Kang</creatorcontrib><creatorcontrib>Jamjoom, Arwa A.</creatorcontrib><creatorcontrib>Abdullah, Manal A.</creatorcontrib><title>Parameterized ACD Modeling of Flexible Manufacturing Systems</title><title>IEEE transactions on automation science and engineering</title><addtitle>TASE</addtitle><description>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.</description><subject>Activity cycle diagram (ACD)</subject><subject>activity transition table</subject><subject>Automated</subject><subject>Automation</subject><subject>Buildings</subject><subject>Computer simulation</subject><subject>Construction</subject><subject>Dispatching</subject><subject>Dispatching rules</subject><subject>Electronics</subject><subject>flexible manufacturing system (FMS)</subject><subject>Flexible manufacturing systems</subject><subject>incremental modeling procedure</subject><subject>Load modeling</subject><subject>Machining</subject><subject>Manufacturing</subject><subject>Mathematical models</subject><subject>Object oriented modeling</subject><subject>parameterized ACD (P-ACD)</subject><subject>Petri nets</subject><subject>Routing</subject><subject>Simulation</subject><issn>1545-5955</issn><issn>1558-3783</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2014</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><recordid>eNpdkMFKw0AQhoMoWKsPIF4CXryk7mx2slnwUmqrQotC63nZJLOSkjR1NwHr05tQ8eBpBub7f4YvCK6BTQCYut9M1_MJZxBPOFcJSnYSjAAxjWKZxqfDLjBChXgeXHi_ZYyLVLFR8PBmnKmpJVd-UxFOZ4_hqimoKncfYWPDRUVfZVZRuDK7zpq87dxwWR98S7W_DM6sqTxd_c5x8L6Yb2bP0fL16WU2XUZ5zJM2MtwwqXIhgccSrVEkhchtzFVhuckLspllheEWUWQW0ALnuUIlQTCwmYnHwd2xd--az458q-vS51RVZkdN5zUkEjBRCpMevf2HbpvO7frvNCCgTIFJ0VNwpHLXeO_I6r0ra-MOGpgefOrBpx586l-ffebmmCmJ6I9PJFPYN_4A7TBwJA</recordid><startdate>20140401</startdate><enddate>20140401</enddate><creator>Choi, Byoung K.</creator><creator>Hyeonsik Kim</creator><creator>Donghun Kang</creator><creator>Jamjoom, Arwa A.</creator><creator>Abdullah, Manal A.</creator><general>IEEE</general><general>The Institute of Electrical and Electronics Engineers, Inc. (IEEE)</general><scope>97E</scope><scope>RIA</scope><scope>RIE</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7SP</scope><scope>7TB</scope><scope>8FD</scope><scope>FR3</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>F28</scope></search><sort><creationdate>20140401</creationdate><title>Parameterized ACD Modeling of Flexible Manufacturing Systems</title><author>Choi, Byoung K. ; Hyeonsik Kim ; Donghun Kang ; Jamjoom, Arwa A. ; Abdullah, Manal A.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c326t-a2a079c4712375fa9e744cf329df2acdefbf0da2f554bf15f122c95971401fba3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2014</creationdate><topic>Activity cycle diagram (ACD)</topic><topic>activity transition table</topic><topic>Automated</topic><topic>Automation</topic><topic>Buildings</topic><topic>Computer simulation</topic><topic>Construction</topic><topic>Dispatching</topic><topic>Dispatching rules</topic><topic>Electronics</topic><topic>flexible manufacturing system (FMS)</topic><topic>Flexible manufacturing systems</topic><topic>incremental modeling procedure</topic><topic>Load modeling</topic><topic>Machining</topic><topic>Manufacturing</topic><topic>Mathematical models</topic><topic>Object oriented modeling</topic><topic>parameterized ACD (P-ACD)</topic><topic>Petri nets</topic><topic>Routing</topic><topic>Simulation</topic><toplevel>online_resources</toplevel><creatorcontrib>Choi, Byoung K.</creatorcontrib><creatorcontrib>Hyeonsik Kim</creatorcontrib><creatorcontrib>Donghun Kang</creatorcontrib><creatorcontrib>Jamjoom, Arwa A.</creatorcontrib><creatorcontrib>Abdullah, Manal A.</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 2005-present</collection><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics & Communications Abstracts</collection><collection>Mechanical & Transportation Engineering Abstracts</collection><collection>Technology Research Database</collection><collection>Engineering Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>ANTE: Abstracts in New Technology & Engineering</collection><jtitle>IEEE transactions on automation science and engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Choi, Byoung K.</au><au>Hyeonsik Kim</au><au>Donghun Kang</au><au>Jamjoom, Arwa A.</au><au>Abdullah, Manal A.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Parameterized ACD Modeling of Flexible Manufacturing Systems</atitle><jtitle>IEEE transactions on automation science and engineering</jtitle><stitle>TASE</stitle><date>2014-04-01</date><risdate>2014</risdate><volume>11</volume><issue>2</issue><spage>637</spage><epage>642</epage><pages>637-642</pages><issn>1545-5955</issn><eissn>1558-3783</eissn><coden>ITASC7</coden><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.</abstract><cop>New York</cop><pub>IEEE</pub><doi>10.1109/TASE.2013.2296570</doi><tpages>6</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 1545-5955 |
| ispartof | IEEE transactions on automation science and engineering, 2014-04, Vol.11 (2), p.637-642 |
| issn | 1545-5955 1558-3783 |
| language | eng |
| recordid | cdi_proquest_journals_1515781074 |
| source | IEEE Electronic Library (IEL) |
| subjects | Activity cycle diagram (ACD) activity transition table Automated Automation Buildings Computer simulation Construction Dispatching Dispatching rules Electronics flexible manufacturing system (FMS) Flexible manufacturing systems incremental modeling procedure Load modeling Machining Manufacturing Mathematical models Object oriented modeling parameterized ACD (P-ACD) Petri nets Routing Simulation |
| title | Parameterized ACD Modeling of Flexible Manufacturing Systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-27T19%3A42%3A57IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Parameterized%20ACD%20Modeling%20of%20Flexible%20Manufacturing%20Systems&rft.jtitle=IEEE%20transactions%20on%20automation%20science%20and%20engineering&rft.au=Choi,%20Byoung%20K.&rft.date=2014-04-01&rft.volume=11&rft.issue=2&rft.spage=637&rft.epage=642&rft.pages=637-642&rft.issn=1545-5955&rft.eissn=1558-3783&rft.coden=ITASC7&rft_id=info:doi/10.1109/TASE.2013.2296570&rft_dat=%3Cproquest_RIE%3E1671569956%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1515781074&rft_id=info:pmid/&rft_ieee_id=6709574&rfr_iscdi=true |