Abstract. CNMAI2014-0021Petri Nets are a widely used formalism to execute and analyze concurrent procedures. It takes advantage of an intrinsic support to parallelism and concurrence as well as of the possibility of intuitive graphical interpretation. It can be used for modeling all the behavior of procedures and tracking resources flow. Petri-PDL is a logic formalism capable of making inferences on Petri Nets even in its concurrent dealings. Besides other works evolving reasoning in concurrent systems or those using Petri Nets, Petri-PDL is a decidable, sound and complete formalism that takes advantage of Petri Nets resources. The inspection method used in a VIN (vehicle identification number) validation does not meet the quality requirements demanded by the market. In some cases reported, the inspection is performed manually, by a visual checking operator, which exposes the company to the risk of commercializing a vehicle with differences between its VIN and the vehicle documentation. Due to the emotional factor and specially fatigue, the inspection should not be performed by a person. It requires a technological tool to assist on the transcription of the validating data to the chassis in order to avoid possible problems. This work presentes a new approach based on Petri Nets using Propositional Dynamic Logics to verify whether the model of a low cost system for validating the data transcribed to a chassis is correct -and therefore efficient.

O Brasil é o terceiro maior produtor e exportador mundial de milho, e o estado do Mato Grosso (MT) é responsável por cerca de 50% da produção nacional de milho, com potencial de produzir mais de 40 milhões de toneladas, em mais de 6 milhões de hectares. Quase todo o milho produzido no MT é proveniente da 2ª safra (semeado após a colheita da cultura de verão). Eventos climáticos adversos têm afetado a produção estadual de milho, ameaçando o fornecimento nacional de alimentos. Assim, este estudo objetivou testar o modelo de simulação de cultura da zona agroecológica (MZA-FAO) como ferramenta de monitoramento da produtividade de  milho 2ª safra, no Mato Grosso. O sistema de monitoramento da produtividade foi testado em 2021, um ano com baixa produtividade de milho, devido a eventos de seca e a altas temperaturas do ar. O proposto sistema foi capaz de indicar perdas de produtividade em 2021, dois meses antes da colheita. Este resultado indica que possíveis interrupções no fornecimento de alimentos causados por eventos climáticos extremos poderiam ser antecipadas, contribuindo para seu melhor planejamento.

Levando-se em conta as políticas públicas de apoio ao desenvolvimento da agricultura familiar, especificamente no âmbito da disponibilização de recursos por meio de compras públicas em convênios vinculados ao Ministério da Agricultura, Pecuária e Abastecimento (MAPA), este artigo tem como objetivo a realização de um estudo exploratório descritivo qualitativo, por meio da aplicação de métodos de mineração de dados descritiva, para a identificação dos possíveis impactos decorrentes da pandemia da COVID-19 sobre agricultura familiar, no que tange à disponibilização de recursos públicos vinculados à convênios do MAPA. São utilizados dados de convênios provenientes do MAPA, submetidos a tratamentos específicos para identificação de registros que se enquadrem como recursos de potencial apoio à agricultura familiar, e dados do Ministério da Saúde sobre a evolução das infecções da Covid-19.

Objetivou-se neste trabalho realizar a implantação do Mapeamento de Fluxo de Valor (VSM) no departamento logístico de uma indústria denominada de empresa Beta. Utilizou-se a abordagem quali-quanti, pois, com ela, obtêm-se mais informações. A pesquisa se classifica como aplicada, haja vista que as dados apresentados deverão ser aplicados na prática, destacando-se o aperfeiçoamento do tempo de processamento, redução e/ou relocação de mão de obra e redistribuição de tarefas. Quanto aos objetivos, classifica-se como descritiva, pois descreve o comportamento dos fatos. Usou-se a abordagem de estudo de caso, que permite a maior exploração dos fatos. Este trabalho demonstra as vantagens que o VSM propiciou à empresa com a implementação da ferramenta e os ganhos obtidos, como a redução de mão de obra, qualidade de vida e bem-estar dos operadores (ergonomia), maior controle das peças abastecidas e eliminação de desperdícios. Conclui-se que é possível estender a ferramenta a outros setores na empresa.

Background: Inefficient use of public funds can have a negative impact on the lives of citizens. The development of machine learning-based technologies for data visualisation and prediction has opened the possibility of evaluating the accountability of publicly funded projects. Methods: This study describes the conception and evaluation of the architecture of a system that can be utilised for project profile definition and prediction. The system was used to analyse data from 20,942 System of Management of Agreements and Transfer Contracts (SICONV) projects in Brazil, which are government-funded projects. SICONV is a Brazilian Government initiative that records the entire life cycle of agreements, transfer contracts, and partnership terms, from proposal formalisation to final accountability. The projects were represented by seven variables, all of which were related to the timeline and budget of the project. Data statistics and clustering in a lower-dimensional space calculated using t-SNE were used to generate project profiles. Performance measures were used to test and compare several project-profile prediction models based on classifiers. Results: Data clustering was achieved, and ten project profiles were defined as a result. Among 25 prediction models, k-Nearest-Neighbor (kknn) was the one that yielded the highest accuracy (0.991±0.002). Conclusions: The system predicted SICONV project profiles accurately. This system can help auditors and citizens evaluate new and ongoing project profiles, identifying inappropriate public funding.