Petri Nets Applied to the Analysis of Algorithm for Space Vehicles Integration Tower Self Test. GJRE 2011, 11 (5), 7-12.