Lins, A., 		Morais, T., & 		Almeida, E.
2009 Jul 20.  Formal Workflow Modeling with Petri Nets in Business Process Management for Environmental Health. Proceedings of the Brazilian Symposium on Computing Applied to Health (SBCAS). [Online] :