Kompositorische Konstruktion von Abstraktionen für unendliche Netzwerke von geschalteten Systemen