NetCASE - Softwareentwurf und Workflow-Modellierung mit Petri-Netzen