Industrial automation systems and integration. Formal semantic models for the configuration of global production networks. (24th November 2022)