publicações selecionadas artigo de conferência Service-oriented process control using High-level Petri Nets 2008