Gravar-mail: Petri nets approach for designing the migration process towards industrial cyber-physical production systems