<?xml version="1.0" encoding="UTF-8"?>
<article article-type="research-article" xml:lang="en" xmlns:xlink="http://www.w3.org/1999/xlink">
<front>
<journal-meta>
<journal-id journal-id-type="publisher">global-journal-of-research-in-engineering-d-aerospace-science</journal-id>
<journal-title-group>
<journal-title>Global Journal of Research in Engineering - D: Aerospace Science</journal-title>
</journal-title-group>
<issn publication-format="print">0975-5861</issn>
<issn publication-format="electronic">2249-4596</issn>
<publisher><publisher-name>Global Journals Publishing Group Incorporated</publisher-name></publisher>
<self-uri xlink:href="https://globaljournals.org/journal-seo-export/jats/73123.xml" />
</journal-meta>
<article-meta>
<article-id pub-id-type="publisher-id">73123</article-id>
<title-group>
<article-title>Petri Nets applied to the Analysis of Algorithm for Space Vehicles Integration Tower Self Test</article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author"><name><surname>Bizarria</surname><given-names>Francisco Carlos Parquet</given-names></name><xref ref-type="aff" rid="aff1" />
</contrib>
<contrib contrib-type="author"><name><surname>Bizarria</surname><given-names>Jose Walter Parquet</given-names></name></contrib>
<contrib contrib-type="author"><name><surname>Rosario</surname><given-names>Joao Mauricio</given-names></name></contrib>
</contrib-group>
<aff id="aff1">BRAZIL, Institute of Aeronautics and Space</aff>
<pub-date publication-format="electronic" date-type="pub" iso-8601-date="2011-12-12">
<day>12</day>
<month>12</month>
<year>2011</year>
</pub-date>
<volume>11</volume>
<issue>D5</issue>
<fpage>7</fpage>
<lpage>12</lpage>
<abstract><p>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.</p></abstract>
<kwd-group kwd-group-type="author-generated">
<kwd>Self Test</kwd>
<kwd>Integration Tower</kwd>
<kwd>Space Vehicles</kwd>
<kwd>Petri Nets.</kwd>
</kwd-group>
<self-uri content-type="pdf" xlink:href="https://globaljournals.org/GJRE_Volume11/2-Petri-Nets-Applied-to-the-Analysis-of-Algorithm.pdf" />
<self-uri content-type="html" xlink:href="https://globaljournals.org/scholarly-articles/petri-nets-applied-to-the-analysis-of-algorithm-for-space-vehicles-integration-tower-self-test/" />
</article-meta>
</front>
<body>
<sec>
<title>Full Text</title>
<p>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.</p>
</sec>
</body>
</article>