![](/images/graphics-bg.png)
Colored Petri Net-Based Verification and Improvement of Time-Sensitive Single-Unit Manufacturing for the Soil Preparation Instrument of Space Missions
Joint Authors
Yung, Kai Leung
Gao, Ming
Liu, An
Hung Ip, Wai
Jiang, Shancheng
Source
Discrete Dynamics in Nature and Society
Issue
Vol. 2020, Issue 2020 (31 Dec. 2020), pp.1-18, 18 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2020-08-25
Country of Publication
Egypt
No. of Pages
18
Main Subjects
Abstract EN
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.
American Psychological Association (APA)
Yung, Kai Leung& Gao, Ming& Liu, An& Hung Ip, Wai& Jiang, Shancheng. 2020. Colored Petri Net-Based Verification and Improvement of Time-Sensitive Single-Unit Manufacturing for the Soil Preparation Instrument of Space Missions. Discrete Dynamics in Nature and Society،Vol. 2020, no. 2020, pp.1-18.
https://search.emarefa.net/detail/BIM-1152869
Modern Language Association (MLA)
Yung, Kai Leung…[et al.]. Colored Petri Net-Based Verification and Improvement of Time-Sensitive Single-Unit Manufacturing for the Soil Preparation Instrument of Space Missions. Discrete Dynamics in Nature and Society No. 2020 (2020), pp.1-18.
https://search.emarefa.net/detail/BIM-1152869
American Medical Association (AMA)
Yung, Kai Leung& Gao, Ming& Liu, An& Hung Ip, Wai& Jiang, Shancheng. Colored Petri Net-Based Verification and Improvement of Time-Sensitive Single-Unit Manufacturing for the Soil Preparation Instrument of Space Missions. Discrete Dynamics in Nature and Society. 2020. Vol. 2020, no. 2020, pp.1-18.
https://search.emarefa.net/detail/BIM-1152869
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-1152869