Modelling the production systems in industry 4.0 and their availability with high-level Petri nets. Issue 12 (2016)