Prozessdiagnose auf der Grundlage eine prädikatenlogischen Prozessbeschreibung.