Zerlegung und Faktorisierung von Transienten in funktionalen Graphen

Dieser Artikel untersucht Methoden zur Lösung von Basisgleichungen der Form A × X ⊇ B über verbundenen funktionalen Graphen, wobei auch die transienten Zustände berücksichtigt werden. Durch die Einführung einer Abstraktion, der sogenannten t-Abstraktion, können starke Einschränkungen für mögliche Lösungen von X abgeleitet werden.