Petri nets methodology for the design and control of migration processes towards industry 4.0 | IEEE Conference Publication | IEEE Xplore