Petri Nets applied to the Analysis of Algorithm for Space Vehicles Integration Tower Self Test. (2011). Global Journals of Research in Engineering, 11(5), 7-12. https://testing.engineeringresearch.org/index.php/GJRE/article/view/235