“Petri Nets applied to the Analysis of Algorithm for Space Vehicles Integration Tower Self Test” (2011) Global Journals of Research in Engineering, 11(5), pp. 7–12. Available at: https://engineeringresearch.org/index.php/GJRE/article/view/235 (Accessed: 22 June 2026).