Colored Petri Net-Based Verification and Improvement of Time-Sensitive Single-Unit Manufacturing for the Soil Preparation Instrument of Space Missions
Various space missions, including the Russian and Chinese interplanetary exploration collaboration in 2011 and the Phobos-Grunt space project to be relaunched by the Chinese in 2025, carry a soil preparation system (SOPSYS), which is an instrument used for scientific experiments. The design and manu...
Gespeichert in:
| Veröffentlicht in: | Discrete dynamics in nature and society 2020, Vol.2020 (2020), p.1-18 |
|---|---|
| Hauptverfasser: | , , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 18 |
|---|---|
| container_issue | 2020 |
| container_start_page | 1 |
| container_title | Discrete dynamics in nature and society |
| container_volume | 2020 |
| creator | Hung Ip, Wai Liu, An Gao, Ming Yung, Kai Leung Jiang, Shancheng |
| description | Various space missions, including the Russian and Chinese interplanetary exploration collaboration in 2011 and the Phobos-Grunt space project to be relaunched by the Chinese in 2025, carry a soil preparation system (SOPSYS), which is an instrument used for scientific experiments. The design and manufacture of this precision instrument require stringent manufacturing processes and workflow of the highest quality, with every process in the project carefully monitored and controlled. All processes should be completed within the deadline so that the space project can be launched at the scheduled time. The colored Petri net (CPN) modeling method can describe a variety of resource types and execution logic, and it can be formally verified. Based on these advantages, we clearly describe the complex structure of the SPOSYS unit production process. In addition, we use critical time and the 6 sigma system to evaluate the availability and reliability of workflows, and we use elimination and simplification (ECRS) methods and constraint theory to improve the manufacturing process of the SOPSYS unit. We further provide optimization theories, methods, and insights for workflow management in time-sensitive and independent manufacturing systems. |
| doi_str_mv | 10.1155/2020/2162869 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_doaj_</sourceid><recordid>TN_cdi_proquest_journals_2446486358</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><doaj_id>oai_doaj_org_article_2d1ca076b191478b8b414369cb19c19d</doaj_id><sourcerecordid>2446486358</sourcerecordid><originalsourceid>FETCH-LOGICAL-c426t-a177b2f8b3eb01b9e5d8c71375c6da735830d13729ceae14ee3284b75c784e143</originalsourceid><addsrcrecordid>eNqFkV9vFCEUxYnRxLr65rMh8VHHAsMA86gb_2zSapNtjW-EgTstm1lYganxi_h5ZTtVH32Cc-4vhxsOQs8peUNp150ywsgpo4Ip0T9AJ1QQ2Sglvz2sd8JEQxgTj9GTnHekkqpnJ-jXOk4xgcMXUJLHn6E070yu-iskP3prio8Bm-DwZn9I8Rb2EAqOI770e2i2ELIv_hbw1ofrCZqr4As-N2EejS1zqiYeY8LlphLRT_giwcGkJXQTcknzn7ztwVjA5z7nOstP0aPRTBme3Z8rdPXh_eX6U3P25eNm_fassZyJ0hgq5cBGNbQwEDr00DllJW1lZ4Uzsu1US1yVrLdggHKAlik-1LFUvOp2hTZLrotmpw_J7036qaPx-s6I6VqbVLydQDNHrSFSDLSnXKpBDbwGiN5Ww9Le1ayXS1b9p-8z5KJ3cU6hrq8Z54IrcdxnhV4vlE0x5wTj31cp0ccW9bFFfd9ixV8t-I0Pzvzw_6NfLDRUBkbzj6bdHfAbkJ-nJg</addsrcrecordid><sourcetype>Open Website</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2446486358</pqid></control><display><type>article</type><title>Colored Petri Net-Based Verification and Improvement of Time-Sensitive Single-Unit Manufacturing for the Soil Preparation Instrument of Space Missions</title><source>DOAJ Directory of Open Access Journals</source><source>Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals</source><source>Wiley-Blackwell Open Access Titles</source><source>Alma/SFX Local Collection</source><creator>Hung Ip, Wai ; Liu, An ; Gao, Ming ; Yung, Kai Leung ; Jiang, Shancheng</creator><contributor>Chen, Chi-Hua ; Chi-Hua Chen</contributor><creatorcontrib>Hung Ip, Wai ; Liu, An ; Gao, Ming ; Yung, Kai Leung ; Jiang, Shancheng ; Chen, Chi-Hua ; Chi-Hua Chen</creatorcontrib><description>Various space missions, including the Russian and Chinese interplanetary exploration collaboration in 2011 and the Phobos-Grunt space project to be relaunched by the Chinese in 2025, carry a soil preparation system (SOPSYS), which is an instrument used for scientific experiments. The design and manufacture of this precision instrument require stringent manufacturing processes and workflow of the highest quality, with every process in the project carefully monitored and controlled. All processes should be completed within the deadline so that the space project can be launched at the scheduled time. The colored Petri net (CPN) modeling method can describe a variety of resource types and execution logic, and it can be formally verified. Based on these advantages, we clearly describe the complex structure of the SPOSYS unit production process. In addition, we use critical time and the 6 sigma system to evaluate the availability and reliability of workflows, and we use elimination and simplification (ECRS) methods and constraint theory to improve the manufacturing process of the SOPSYS unit. We further provide optimization theories, methods, and insights for workflow management in time-sensitive and independent manufacturing systems.</description><identifier>ISSN: 1026-0226</identifier><identifier>EISSN: 1607-887X</identifier><identifier>DOI: 10.1155/2020/2162869</identifier><language>eng</language><publisher>Cairo, Egypt: Hindawi Publishing Corporation</publisher><subject>Aerospace industry ; Business information ; Chinese space program ; Information systems ; Manufacturing ; Mars sample return missions ; Optimization ; Petri nets ; Phobos ; Reliability analysis ; Simulation ; Soils ; Space missions ; Supply chains ; Workflow management systems ; Workflow software</subject><ispartof>Discrete dynamics in nature and society, 2020, Vol.2020 (2020), p.1-18</ispartof><rights>Copyright © 2020 Kai Leung Yung et al.</rights><rights>Copyright © 2020 Kai Leung Yung et al. This is an open access article distributed under the Creative Commons Attribution License (the “License”), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. https://creativecommons.org/licenses/by/4.0</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c426t-a177b2f8b3eb01b9e5d8c71375c6da735830d13729ceae14ee3284b75c784e143</citedby><cites>FETCH-LOGICAL-c426t-a177b2f8b3eb01b9e5d8c71375c6da735830d13729ceae14ee3284b75c784e143</cites><orcidid>0000-0002-8502-1155</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,864,877,2102,4024,27923,27924,27925</link.rule.ids></links><search><contributor>Chen, Chi-Hua</contributor><contributor>Chi-Hua Chen</contributor><creatorcontrib>Hung Ip, Wai</creatorcontrib><creatorcontrib>Liu, An</creatorcontrib><creatorcontrib>Gao, Ming</creatorcontrib><creatorcontrib>Yung, Kai Leung</creatorcontrib><creatorcontrib>Jiang, Shancheng</creatorcontrib><title>Colored Petri Net-Based Verification and Improvement of Time-Sensitive Single-Unit Manufacturing for the Soil Preparation Instrument of Space Missions</title><title>Discrete dynamics in nature and society</title><description>Various space missions, including the Russian and Chinese interplanetary exploration collaboration in 2011 and the Phobos-Grunt space project to be relaunched by the Chinese in 2025, carry a soil preparation system (SOPSYS), which is an instrument used for scientific experiments. The design and manufacture of this precision instrument require stringent manufacturing processes and workflow of the highest quality, with every process in the project carefully monitored and controlled. All processes should be completed within the deadline so that the space project can be launched at the scheduled time. The colored Petri net (CPN) modeling method can describe a variety of resource types and execution logic, and it can be formally verified. Based on these advantages, we clearly describe the complex structure of the SPOSYS unit production process. In addition, we use critical time and the 6 sigma system to evaluate the availability and reliability of workflows, and we use elimination and simplification (ECRS) methods and constraint theory to improve the manufacturing process of the SOPSYS unit. We further provide optimization theories, methods, and insights for workflow management in time-sensitive and independent manufacturing systems.</description><subject>Aerospace industry</subject><subject>Business information</subject><subject>Chinese space program</subject><subject>Information systems</subject><subject>Manufacturing</subject><subject>Mars sample return missions</subject><subject>Optimization</subject><subject>Petri nets</subject><subject>Phobos</subject><subject>Reliability analysis</subject><subject>Simulation</subject><subject>Soils</subject><subject>Space missions</subject><subject>Supply chains</subject><subject>Workflow management systems</subject><subject>Workflow software</subject><issn>1026-0226</issn><issn>1607-887X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2020</creationdate><recordtype>article</recordtype><sourceid>RHX</sourceid><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GNUQQ</sourceid><sourceid>DOA</sourceid><recordid>eNqFkV9vFCEUxYnRxLr65rMh8VHHAsMA86gb_2zSapNtjW-EgTstm1lYganxi_h5ZTtVH32Cc-4vhxsOQs8peUNp150ywsgpo4Ip0T9AJ1QQ2Sglvz2sd8JEQxgTj9GTnHekkqpnJ-jXOk4xgcMXUJLHn6E070yu-iskP3prio8Bm-DwZn9I8Rb2EAqOI770e2i2ELIv_hbw1ofrCZqr4As-N2EejS1zqiYeY8LlphLRT_giwcGkJXQTcknzn7ztwVjA5z7nOstP0aPRTBme3Z8rdPXh_eX6U3P25eNm_fassZyJ0hgq5cBGNbQwEDr00DllJW1lZ4Uzsu1US1yVrLdggHKAlik-1LFUvOp2hTZLrotmpw_J7036qaPx-s6I6VqbVLydQDNHrSFSDLSnXKpBDbwGiN5Ww9Le1ayXS1b9p-8z5KJ3cU6hrq8Z54IrcdxnhV4vlE0x5wTj31cp0ccW9bFFfd9ixV8t-I0Pzvzw_6NfLDRUBkbzj6bdHfAbkJ-nJg</recordid><startdate>2020</startdate><enddate>2020</enddate><creator>Hung Ip, Wai</creator><creator>Liu, An</creator><creator>Gao, Ming</creator><creator>Yung, Kai Leung</creator><creator>Jiang, Shancheng</creator><general>Hindawi Publishing Corporation</general><general>Hindawi</general><general>Hindawi Limited</general><scope>ADJCN</scope><scope>AHFXO</scope><scope>RHU</scope><scope>RHW</scope><scope>RHX</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7TB</scope><scope>8FD</scope><scope>8FE</scope><scope>8FG</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>CWDGH</scope><scope>DWQXO</scope><scope>FR3</scope><scope>GNUQQ</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>KR7</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>P5Z</scope><scope>P62</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>DOA</scope><orcidid>https://orcid.org/0000-0002-8502-1155</orcidid></search><sort><creationdate>2020</creationdate><title>Colored Petri Net-Based Verification and Improvement of Time-Sensitive Single-Unit Manufacturing for the Soil Preparation Instrument of Space Missions</title><author>Hung Ip, Wai ; Liu, An ; Gao, Ming ; Yung, Kai Leung ; Jiang, Shancheng</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c426t-a177b2f8b3eb01b9e5d8c71375c6da735830d13729ceae14ee3284b75c784e143</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2020</creationdate><topic>Aerospace industry</topic><topic>Business information</topic><topic>Chinese space program</topic><topic>Information systems</topic><topic>Manufacturing</topic><topic>Mars sample return missions</topic><topic>Optimization</topic><topic>Petri nets</topic><topic>Phobos</topic><topic>Reliability analysis</topic><topic>Simulation</topic><topic>Soils</topic><topic>Space missions</topic><topic>Supply chains</topic><topic>Workflow management systems</topic><topic>Workflow software</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Hung Ip, Wai</creatorcontrib><creatorcontrib>Liu, An</creatorcontrib><creatorcontrib>Gao, Ming</creatorcontrib><creatorcontrib>Yung, Kai Leung</creatorcontrib><creatorcontrib>Jiang, Shancheng</creatorcontrib><collection>الدوريات العلمية والإحصائية - e-Marefa Academic and Statistical Periodicals</collection><collection>معرفة - المحتوى العربي الأكاديمي المتكامل - e-Marefa Academic Complete</collection><collection>Hindawi Publishing Complete</collection><collection>Hindawi Publishing Subscription Journals</collection><collection>Hindawi Publishing Open Access Journals</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Mechanical & Transportation Engineering Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>Advanced Technologies & Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>Middle East & Africa Database</collection><collection>ProQuest Central Korea</collection><collection>Engineering Research Database</collection><collection>ProQuest Central Student</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science Database</collection><collection>Civil Engineering Abstracts</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>Advanced Technologies & Aerospace Database</collection><collection>ProQuest Advanced Technologies & Aerospace Collection</collection><collection>Publicly Available Content Database</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>DOAJ Directory of Open Access Journals</collection><jtitle>Discrete dynamics in nature and society</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Hung Ip, Wai</au><au>Liu, An</au><au>Gao, Ming</au><au>Yung, Kai Leung</au><au>Jiang, Shancheng</au><au>Chen, Chi-Hua</au><au>Chi-Hua Chen</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Colored Petri Net-Based Verification and Improvement of Time-Sensitive Single-Unit Manufacturing for the Soil Preparation Instrument of Space Missions</atitle><jtitle>Discrete dynamics in nature and society</jtitle><date>2020</date><risdate>2020</risdate><volume>2020</volume><issue>2020</issue><spage>1</spage><epage>18</epage><pages>1-18</pages><issn>1026-0226</issn><eissn>1607-887X</eissn><abstract>Various space missions, including the Russian and Chinese interplanetary exploration collaboration in 2011 and the Phobos-Grunt space project to be relaunched by the Chinese in 2025, carry a soil preparation system (SOPSYS), which is an instrument used for scientific experiments. The design and manufacture of this precision instrument require stringent manufacturing processes and workflow of the highest quality, with every process in the project carefully monitored and controlled. All processes should be completed within the deadline so that the space project can be launched at the scheduled time. The colored Petri net (CPN) modeling method can describe a variety of resource types and execution logic, and it can be formally verified. Based on these advantages, we clearly describe the complex structure of the SPOSYS unit production process. In addition, we use critical time and the 6 sigma system to evaluate the availability and reliability of workflows, and we use elimination and simplification (ECRS) methods and constraint theory to improve the manufacturing process of the SOPSYS unit. We further provide optimization theories, methods, and insights for workflow management in time-sensitive and independent manufacturing systems.</abstract><cop>Cairo, Egypt</cop><pub>Hindawi Publishing Corporation</pub><doi>10.1155/2020/2162869</doi><tpages>18</tpages><orcidid>https://orcid.org/0000-0002-8502-1155</orcidid><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1026-0226 |
| ispartof | Discrete dynamics in nature and society, 2020, Vol.2020 (2020), p.1-18 |
| issn | 1026-0226 1607-887X |
| language | eng |
| recordid | cdi_proquest_journals_2446486358 |
| source | DOAJ Directory of Open Access Journals; Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals; Wiley-Blackwell Open Access Titles; Alma/SFX Local Collection |
| subjects | Aerospace industry Business information Chinese space program Information systems Manufacturing Mars sample return missions Optimization Petri nets Phobos Reliability analysis Simulation Soils Space missions Supply chains Workflow management systems Workflow software |
| title | Colored Petri Net-Based Verification and Improvement of Time-Sensitive Single-Unit Manufacturing for the Soil Preparation Instrument of Space Missions |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-05T20%3A04%3A57IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_doaj_&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Colored%20Petri%20Net-Based%20Verification%20and%20Improvement%20of%20Time-Sensitive%20Single-Unit%20Manufacturing%20for%20the%20Soil%20Preparation%20Instrument%20of%20Space%20Missions&rft.jtitle=Discrete%20dynamics%20in%20nature%20and%20society&rft.au=Hung%20Ip,%20Wai&rft.date=2020&rft.volume=2020&rft.issue=2020&rft.spage=1&rft.epage=18&rft.pages=1-18&rft.issn=1026-0226&rft.eissn=1607-887X&rft_id=info:doi/10.1155/2020/2162869&rft_dat=%3Cproquest_doaj_%3E2446486358%3C/proquest_doaj_%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2446486358&rft_id=info:pmid/&rft_doaj_id=oai_doaj_org_article_2d1ca076b191478b8b414369cb19c19d&rfr_iscdi=true |