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...
Saved in:
Main Authors: | Kai Leung Yung, Ming Gao, An Liu, Wai Hung Ip, Shancheng Jiang |
---|---|
Format: | Article |
Language: | English |
Published: |
Wiley
2020-01-01
|
Series: | Discrete Dynamics in Nature and Society |
Online Access: | http://dx.doi.org/10.1155/2020/2162869 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
On Categories of Fuzzy Petri Nets
by: Arun K. Srivastava, et al.
Published: (2011-01-01) -
Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets
by: Jing Liu, et al.
Published: (2014-01-01) -
A hierarchical colored Petri net–based cyberattacks response strategy making approach for critical infrastructures
by: Qianxiang Zhu, et al.
Published: (2020-01-01) -
Airport Emergency Rescue Model Establishment and Performance Analysis Using Colored Petri Nets and CPN Tools
by: Qingkun Yu, et al.
Published: (2018-01-01) -
Modeling a Heterogeneous Embedded System in Coloured Petri Nets
by: Huafeng Zhang, et al.
Published: (2014-01-01)