Positivbeispiel: Abwesenheit von Zyklen in Unterprozessbeziehungen