Modelling the production systems in industry 4.0 and their availability with high-level Petri nets | Synapse