Eine Klasse offener Warteschnetzwerke mit Poisson‑externen Ankünften, exponentiellen Bedienzeiten an den Knoten und festen probabilistischen Weiterleitungswahrscheinlichkeiten, so dass sich in stationärem Zustand die gemeinsame Verteilung der Warteschlangenlängen in das Produkt der Verteilungen der einzelnen Knoten zerlegt (Produktform). Die Ankunftsraten der Knoten erfüllen ein lineares System aus Verkehrsgleichungen.

Prinzip

Unter den angegebenen Annahmen zerlegt sich das Netzwerk: jeder Knoten verhält sich wie eine unabhängige M/M/c‑ oder M/M/1‑Warteschlange, gespeist durch eine effektive Poisson‑Ankunftsrate, die durch Lösung der Verkehrsgleichungen bestimmt wird; der stationäre Netzwerkzustand ist das Produkt der Knotenzustände (Produktform).

Demonstration

Illustratives Szenario → Eine Fertigungslinie mit mehreren Maschinen und probabilistischem Routing von Teilen zwischen Stationen sowie Poisson‑externe Ankünfte. Erkennung → Poisson‑Ankünfte, exponentieller Service und feste Routingwahrscheinlichkeiten prüfen. Handlung → Lineare Verkehrsgleichungen für Knoteneingangs­raten lösen, einzelne Knoten unabhängig analysieren und die Ergebnisse multiplikativ zum Netzkennwert kombinieren. Folge → Durchsatz und leistung pro Station lassen sich aus Knotenauswertungen berechnen, ohne den gemeinsamen Zustandsraum zu enumerieren.

Fehlanwendung

Die Jackson‑Produktform anwenden, obwohl das Routing zustandsabhängig ist, Ankünfte nicht Poisson sind, Servicezeitverteilungen nicht‑exponentiell sind oder Dienstdisziplinen die Annahmen verletzen. Der Fehler nimmt Knotenenunabhängigkeit und Produktform an, ohne Bedingungen zu prüfen, und liefert falsche Leistungsabschätzungen.

Konsequenz

Bei erfüllten Annahmen liefern Jackson‑Netzwerke handhabbare, exakte Knotenergebnisse und skalierbare Analysen; werden die Annahmen verletzt, unterschätzt die Produktform Korrelationen und kann zu Fehleinschätzungen in Kapazität, Verzögerung und Durchsatz führen.

Umkehrung

Sind Servicezeitverteilungen allgemein (nicht exponentiell), Ankünfte oder Routing zustandsabhängig oder bestehen Disziplineinschränkungen, kann die Produktform wegfallen; dann sind andere Modelle (z. B. BCMP‑Netzwerke unter speziellen Bedingungen) oder approximative/Simulationsverfahren erforderlich.

Abgrenzung

Klar innerhalb: offene Netze mit Poisson‑externen Ankünften, exponentiellem Service an Knoten, festen Routingwahrscheinlichkeiten und service‑Disziplinen, die Jackson‑Annahmen erfüllen, analysiert im stationären Zustand. Randfall: geringe Abweichungen von Poisson/Exponential, die approximativ behandelt werden können, aber die Genauigkeit vermindern. Klar außerhalb: Netze mit zustandsabhängigem Routing, nicht‑markovschem Service oder geschlossene Netze ohne offene Jackson‑Annahmen.

Semantische Spannung

Analytische Lösbarkeit versus Modelltreue: Die Produktform von Jackson‑Netzen bietet unter Markov‑Annahmen exakte, skalierbare Lösungen, schränkt aber die Anwendbarkeit ein; eine Lockerung der Annahmen erhöht die Realitätsnähe, zerstört jedoch meist die Zerlegbarkeit.

Synthese

Jackson‑Netzwerke zeigen, dass unter markovschen und festen Routing‑Annahmen die Netzleistung auf Knoteneinzelprobleme reduziert werden kann, die durch lineare Verkehrs­gleichungen verknüpft sind: die entscheidende Modellierungsfrage ist, ob diese Annahmen für das betrachtete System hinreichend genau sind, da sie bestimmen, ob die Zerlegung gültige, nutzbare Kennzahlen liefert.