Modellbasierte Entwicklung hat sich aufgrund der Komplexität großer Softwaresystemen heutzutage bislang nicht auf breiter Front durchgesetzt. In Bereichen wie der Modellierung von Arbeitsabläufen (Workflows) oder auch in Fertigungsprozessen hingegen finden modellbasierte Systeme oftmals Anwendung. Viele setzen hier auf endliche Automaten (State Machines), wie zum Beispiel JIRA. Petri-Netze werden dabei nur selten eingesetzt, obwohl gerade diese […]