publicações selecionadas artigo de conferência Composition of Petri nets models in serviceoriented industrial automation 2010