publicações selecionadas documento Recent advances in petri nets and concurrency. CEUR Workshop Proceedings. 2012 livro Atas de workshops 2012 Recent advances in petri nets and concurrency 2012
