publicações selecionadas artigo de conferência Process optimization of service-oriented automation devices based on Petri nets 2010