Humboldt-Universität zu Berlin | Faculty of Mathematics and Natural Sciences | Department of Computer Science | Process-Driven Architectures | Lehre / Teaching | SS18 Veranstaltungen im Sommersemester 2018 / Courses Summer Term 2018 Event Processing (VL/UE, 5 LP, Prof. Weidlich) Analyse von Petrinetzmodellen (SE, 3 LP, Prof. Weidlich)