Modelling the flexibility of production systems in Industry 4.0 for analysing their productivity and availability with high-level Petri nets. Issue 1 (July 2017)