Modelling the flexibility of production systems in Industry 4.0 for analysing their productivity and availability with high-level Petri nets | Synapse