UnternehmensanwendungenJens Müller ×Vieweg & Teubner × Strukturbasierte Verifikation von BPMN-Modellen Jens MüllerVieweg & TeubnerSoftcover2011