publicações selecionadas capítulo de livro Petri net based engineering and software methodology for service-oriented industrial automation 2010
