Inhaltsverzeichnis: “....1.3 Advanced Branching: Introducing OR to Petri Nets ..... 12 -- 2.2 The Relational Model and Relational...”