Petri Nets applied to the Analysis of Algorithm for Space Vehicles Integration Tower Self Test. GJRE. 2011;11(5):7-12. Accessed June 6, 2026. https://testing.engineeringresearch.org/index.php/GJRE/article/view/235