Francisco Carlos Parquet Bizarria, et al. “Petri Nets Applied to the Analysis of Algorithm for Space Vehicles Integration Tower Self Test”. Global Journals of Research in Engineering, vol. 11, no. 5, Oct. 2011, pp. 7-12, https://engineeringresearch.org/index.php/GJRE/article/view/235.