publicações selecionadas artigo de conferência Petri net-based approach for web service automation resource coordination 2007