Die Veranstaltung "Prozessorientierte Informationssysteme II" (POIS II) vertieft formale Aspekte des Business Process Management. Nach einer Einführung in allgemeine Konzepte, die bereits weitgehend aus POIS I bekannt sind, beschäftigt sich der erste Teil mit der Analyse von Prozessmodellen in Hinblick auf strukturelle und semantische Eigenschaften.