A.2.1 – Ciência da Computação; F.2.4 - Gestão Pública Construção de um Modelo de Autômatos Probabilísticos Temporizados a partir de dados de acompanhamento de Processos Administrativos em um Órgão Público. Paulo Otávio Gordo de Souza1, Leandro Mesquita Rodrigues1, Fábio Manoel França Lobato3, Antônio Fernando Lavareda Jacob Junior2* 1. Estudante de Ciência da Computação da Universidade da Amazônia, UNAMA, Belém/PA 2. Professor do Instituto de Engenharia e Geociências – IEG da Universidade Federal do Oeste do Pará, Santarém/PA 3. Professor do Centro de Ciências Exatas da Universidade da Amazônia, UNAMA, Belém/PA Palavras Chave: Fluxo de processos, Modelo probabilístico, Modelo temporizado. Introdução O trabalho consistirá em uma modelagem baseada em autômatos probabilísticos temporizados de um sistema de fluxo de processos administrativos. Com esta modelagem pretende-se demostrar os principais setores que estão sobrecarregados (devido ao grande recebimento de processos ou pela demora na resolução deste), encontrar possíveis gargalos que ocorrem quando o processo tramita diversas vezes entre dois setores, possivelmente por ocorrências de erros, dentre outros. Neste contexto, tendo como estudo de caso dados extraídos de um órgão público, pretende-se gerar informações gerenciais para melhor tomada de decisão para o trâmite de processos internos. processo pode permanecer em um certo setor. Este limite funciona como uma condição imposta, na qual o trâmite (transição) passa a acontecer, caso esse limite seja obedecido, porém, se a solicitação não for atendida a tempo, a transição gira em torno do mesmo estado (setor) até sua efetiva saída para outro estado. Conforme exposto acima, os modelos probabilístico e temporizado foram construídos mediante a obtenção de dados reais encontrados em um órgão público. Esses dados foram gerados por meio da emissão de 24.336 relatórios no período de seis meses. A extração e padronização dos dados pode ser observada na Figura 1. Figura 1. Obtenção dos dados para montagem do modelo. Referencial teórico Segundo Machado et al. (1999) autômatos probabilísticos são uma generalização de autômatos determinísticos pelo qual um símbolo de entrada pode direcionar o autômato a um determinado estado a partir de uma certa probabilidade. No caso de Autômatos Temporizados, Pinto (2003) aponta como sendo uma generalização de Autômatos Finitos. Com isso, este tipo de autômato é interpretado sobre palavras finitas temporizadas, as quais cada símbolo está associado a um tempo de ocorrência. Baseado nos conceitos de autômato probabilístico e temporizado, observou-se a necessidade de obter um conjunto finito de estados a serem percorridos mediante a uma condição e definição das características do estado final. No caso da abordagem probabilística há o cálculo da probabilidade associada a cada transição. No caso da abordagem temporizado, existe uma variável de tempo associada como condição para realizar uma transição de um estado a outro, ou a permanência no mesmo, caso não seja obedecido a condição imposta. Estudo de Caso Neste contexto, para o estudo de caso foco deste trabalho foi mapeado que o conjunto de estados é formado pelo número de setores finitos do órgão público. Além disso, a transição entre os estados (setores), é representada pela tramitação de processos entre eles. Neste ponto pode-se observar que a transição com maior probabilidade associada pode mostrar um provável ponto de sobrecarga (identificação do grande número de processos sendo tramitados a um único setor). Na modelagem temporizada, considera-se o tempo de “vida” do processo a partir da contabilização dos dias de trâmite deste. Uma das análises realizadas é quanto um determinado processo permanece em cada setor. Além disso, é associado o limite de dias que determinado Para validação do modelo, até o desenvolvimento deste artigo, foi gerado um minimundo que considera todas as tramitações oriundas do setor de número 0 (zero) (origem), que possui transição para 15 outros setores (destinos), com as respectivas probabilidades de transições entre estes. Conclusões Este trabalho apresentou a viabilidade da modelagem probabilística e temporizada como forma de auxiliar o gestor na tomada de decisões sobre possíveis alocações de recursos humanos para sanar ou minimizar problemas encontrados como a sobre carga oriunda do grande volume de processos recebidos por um setor. Como trabalhos futuros, pretende-se gerar o modelo completo e gerar relatórios com as possíveis otimizações no modelo. Referências MACHADO, Ana Carolina Chaves et al. Autômatos Probabilísticos. Disponível em: <http://www.cin.ufpe.br/~if114/Monografias/Automatos%20 Probabilisticos>. Acesso em: 20 mar. 2015. PINTO, Guilherme Albuquerque. Grau de indecidibilidade da universidade para subclasse de autômatos temporizados. Disponível em: < http://www.bibliotecadigital.unicamp.br/document/?code=vt ls000307086>. Acesso em: 21 mar. 2015. 67ª Reunião Anual da SBPC