publicações selecionadas artigo de conferência Petri nets methodology for the design and control of migration processes towards industry 4.0 2018