Technische universität dortmund fakultät für informatik informatik 12 Petri Nets Jian-Jia Chen (slides are based on Peter Marwedel) TU Dortmund, Informatik.
