Thomas Erwin: Entwurf von Geschäftsprozessen mit Petrinetzen. Karlsruhe Institute of Technology 2002