publicações selecionadas artigo de conferência Petri nets approach for designing the migration process towards industrial cyber-physical production systems 2017