Strukturbasierte Verifikation Von BPMN-Modellenby Jens MüllerWriting a summary for young readers…For young readersBook data: Open Library