Petri nets approach for designing the migration process towards industrial cyber-physical production systems.