Modelagem Formal deWorkflow com Redes de Petri na Gestão de Processos de Negócio em Saúde Ambiental

• André Gustavo Teixeira Lins UFAL
• Tércio de Morais UFAL
• Eliana S. Almeida UFAL

Resumo

A eficiência das políticas em saúde pública depende, entre outros fatores, de uma gestão estratégica da informação. Entretando, os processos de negócio dessa área se baseiam usualmente em conhecimento tácito resultando em informações redundantes, estagnadas ou até mesmo perdidas. Para identificar e validar esse tipo de conhecimento é necessária a formalização, de maneira visual e precisa, de todo fluxo da informação e recursos relacionados. Assim, por conta de sua natureza formal e pelo seu grande poder de expressão gráfica adotaremos Redes de Petri para a modelagem e análise de workflows na gestão da qualidade da água em regiões com altos índices de mortalidade infantil, a fim de se justificar a reengenharia dos processos analisados.

Referências

Adam, N., Atluri, V., and Huang, W. (1998). Modeling and analysis of workflows using Petri Nets. Journal of Intelligent Information Systems, 10(2):131–158.

Murata, T. (1989). Petri Nets - Properties, analysis and applications. Proceedings of the IEEE, 77(4):541–580.

Van der Aalst, W. (1998). The Application of Petri Nets to Workflow Management. Journal of Circuits Systems and Computers, 8(1):21–66.

Vergidis, K., Tiwari, A., and Majeed, B. (2008). Business process analysis and optimization: Beyond reengineering. IEEE Transactions on Systems Man and Cybernetics-Part C:Applications and Reviews, 38(1):69–82.