Eine vollautomatische Methode zur Konstruktion von Graphtransformationsmodellen aus (unvollständigen) Transitionssystemen.