Cachada, Pires, Barbosa, Leitao, 2017. Petri nets approach for designing the migration process towards industrial cyber-physical production systems, in: . IEEE.. https://doi.org/10.1109/iecon.2017.8216591