publicações selecionadas artigo de conferência Guidelines for modelling reactive systems with coloured Petri nets. International Journal on Software Tools for Technology Transfer. 2013
