On the application of process management and process mining to Industry 4.0 | Synapse