Ein Netzwerk interverbundener Warteschlangen, bei dem externe Ankünfte Poisson‑verteilt sind, jeder Knoten exponentialverteilte Bedienung hat und probabilistisches Routing zwischen Knoten erfolgt; unter Unabhängigkeits‑ und offenen Netzwerkannahmen faktorisiert die stationäre Verteilung in das Produkt der Randverteilungen (Produktformlösung).

Prinzip

Unter den Jackson‑Netzwerkannahmen (offenes Netzwerk, Poisson‑Externeankünfte, exponentialer Service, zustandsunabhängiges Routing) erreicht das Netzwerk einen Produktform‑Gleichgewichtszustand: Die gemeinsame Verteilung ist das Produkt der pro‑Knoten M/M/1‑ bzw. M/M/c‑Stationärverteilungen, was eine knotenspezifische Leistungsanalyse unabhängig vom globalen Zustand erlaubt.

Demonstration

Illustratives Szenario (hypothetisch): Situation → Eine Dienstkette hat drei Verarbeitungsstufen; externe Anfragen kommen Poisson, nach Bearbeitung leitet jede Aufgabe mit festen Wahrscheinlichkeiten weiter oder verlässt das System. Erkennung → Service und Routing erfüllen Jackson‑Annahmen. Handlung → Analyst berechnet Knotenauslastungen und Warteschlangenlängen unabhängig und kombiniert sie zu End‑to‑End‑Metriken. Folge → Produktform erlaubt skalierbare Kapazitätsplanung und Identifikation von Engpässen ohne vollständige gemeinsame Zustandsermittlung.

Fehlanwendung

Anwendung der Produktform, wenn Routing zustandsabhängig ist, Ankünfte nicht Poisson oder Servicezeiten nicht exponential sind (z. B. Feedback, das Routingwahrscheinlichkeiten nach Warteschlangenlängen ändert). Der semantische Fehler ist die Annahme der Faktorisierung ohne Überprüfung der Unabhängigkeits‑ und Exponentialannahmen; die Ergebnisse unterschätzen dann Knoteninteraktionen und Systemleistung.

Konsequenz

Gültig angewendet reduziert Jackson das globale Netzwerkproblem auf unabhängige Knotenanalyse, verringert die Rechenkomplexität und ermöglicht analytische Schätzungen von Durchsatz, Verzögerung und Auslastung. Fehlanwendung kann systemische Korrelationen verbergen, Engpässe falsch lokalisieren und zu irreführender Ressourcenplanung führen.

Umkehrung

Produktform bricht zusammen bei geschlossenen Netzwerken mit fixer Population (erfordern Gordon‑Newell/BCMP‑Erweiterungen unter Zusatzbedingungen), zustandsabhängigem Routing, nicht‑exponentialen Services oder korrelierten Ankünften. Einige Erweiterungen (BCMP) stellen Produktform für breitere Disziplinen wieder her, verlangen jedoch eigene Voraussetzungen.

Abgrenzung

Klar innerhalb: offenes Netzwerk exponentialer Service‑Warteschlangen mit festem, zustandsunabhängigem probabilistischem Routing und Poisson‑externenankünften. Randfall: zustandsunabhängiges Routing, aber leicht nicht‑exponentialer Service — Produktform kann für manche Metriken approximativ gelten. Klar außerhalb: routing abhängig von Warteschlangenlänge, schwerverteilte Servicezeiten oder synchrone Batch‑Bewegungen zwischen Knoten.

Semantische Spannung

Globales Koppeln und exakte gemeinsame Analyse ↔ Lokale Separierbarkeit und traktable Produktform. Jackson‑Netzwerke setzen auf Lösbarkeit durch Unabhängigkeitsannahmen und verzichten damit auf zahlreiche reale Kopplungsmechanismen.

Synthese

Jackson‑Netzwerke zeigen, dass Poisson‑Eingänge, exponentialer Service und zustandsunabhängiges Routing analytisch trennbare Netzwerke erzeugen: Produktformlösungen reduzieren Netzwerkanalyse auf Knotenantworten. Sie dienen als kanonische, lösbare Klasse, deren Annahmen klar anzeigen, wann komplexere Netzwerkmodelle nötig werden.