publicações selecionadas artigo de conferência High-level petri nets control modules for service-oriented devices: a case study 2008
