Formal Workflow Modeling with Petri Nets in Business Process Management for Environmental Health

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

Abstract

The efficiency of management policies in public health depends on, among other factors, a strategic management of information. However, the business processes of this area are usually based on tacit knowledge resulting in redundant, static or even lost information. To indentify and validate this kind of knowledge is necessary to formalize in a visual and accurate way all the information flow and related resources. Thus, because its formal nature and high power of graphic expression, Petri Nets are going to be adopted to model and analise workflows in the area of water quality management at regions with high numbers of infant mortality, justifying the reengineering of the processes analyzed.

References

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.