Inhaltsangabe: Abstract: For several years, business process management (BPM) has been more than just a catchword. Smooth and efficient processes are important for organizations in order to be able to survive or, even more difficult, to operate successfully in a constantly changing environment of fierce competition. Ort account of that, processes must be understood and formally described. The modelling of processes is a major task in BPM. Also in the course of (total) quality management, often in connection with certification, as well as for the selection and installation of standard software...