publicações selecionadas livro Atas de workshops 2012 Recent advances in petri nets and concurrency 2012
