Petri Nets applied to the Analysis of Algorithm for Space Vehicles Integration Tower Self Test

Abstract

The satellite launch vehicle currently developed in Brazil, need that their modules are integrated into an unit called by Integration Movable Tower. In the tower structure is installed: moving bridge, elevator, work platforms, doors, movement trucks and other equipment that aids the accomplishment of integration tasks, tests and vehicle launching. In order to perform the foreseen procedures in the aforementioned tasks, the equipment are submitted to several operational tests prior to utilization of integration tower control system. On that context, this work presents a proposal of model developed by means of Petri Nets to represent the algorithm steps that tests the sensors and actuators included into the main equipment installed in the mentioned integration tower. That is carried out computational simulations with the target of identifying the Petri Nets properties that are related to the confusion conflicts and dead lock. The results obtained in the simulations indicates that the proposed model is able of representing the sensors and actuator operation embedded inside a standard equipment during the self test and based upon that is evaluated the algorithm performance.

A Study of Conflict Issues Affecting Ugandan Housemaids who Migrate to Saudi Arabia and How to Mitigate them

March 10, 2026

This study aims to comprehensively analyse the complex interplay between