Modeling and analysis of responsive space launch system based on timed colored Petri NeTQian Zhang and Xinhong LiMATEC Web Conf., 355 (2022) 02014DOI: https://doi.org/10.1051/matecconf/202235502014