“Petri Nets applied to the Analysis of Algorithm for Space Vehicles Integration Tower Self Test”, GJRE, vol. 11, no. 5, pp. 7–12, Oct. 2011, Accessed: Jun. 06, 2026. [Online]. Available: https://testing.engineeringresearch.org/index.php/GJRE/article/view/235