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.