Francisco Carlos Parquet Bizarria; Jose Walter Parquet Bizarria; Joao Mauricio Rosario. Petri Nets Applied to the Analysis of Algorithm for Space Vehicles Integration Tower Self Test. GJRE 2011, 11, 7-12.