Modellierung der Flexibilität von Produktionssystemen in der Industrie 4.0 zur Analyse ihrer Produktivität und Verfügbarkeit mit hochgradigen Petrinetzen | Synapse