Einsatzbeispiel · Simulation

Klinikversorgung.

Ein Transportwagen fällt aus. Reichen die Schutzkittel für zwei Stationen trotzdem bis 10:30?

Erfundene Klinik

Fallstudie / simuliert

Ein Wagen fällt aus. AXON plant um, die Leitung gibt frei.

Zwei Stationen warten auf Schutzkittel, die Frist ist 10:30. Dann fällt ein Transportwagen aus.

Rollen: Versorgungsleitung, Stationsleitung, Transportdienst
Produkte: AXON FORGE KALKÜL
Stand: Bauplan: So soll AXON diesen Fall führen. Die Demo darunter rechnet dieselben Schritte heute ohne Agenten, Sie bedienen sie selbst.

SignalSystem
Der Transportdienst meldet einen ausgefallenen Wagen. Im Modell hängt sofort daran, was er heute fahren sollte.
LesenAXON
AXON folgt den Verknüpfungen: Wagen, Tour, Reservierung, Bedarf, Station. Es liest nur, was die Rolle sehen darf.
VorschlagenAXON
AXON entwirft Ersatzpläne. KALKÜL prüft jeden gegen elf Regeln und zeigt beim durchgefallenen das Gegenbeispiel.
FreigebenMensch
Die Versorgungsleitung sieht Puffer und Gegenbeispiel und gibt einen Plan frei. Ohne Freigabe ändert sich nichts.
ZurückschreibenSystem
Touren und Reservierungen ändern sich dort, wo sie geführt werden. Ein Prüfauszug lässt sich außerhalb der Seite nachrechnen.

AXON schlägt vor: Liest die Kette, entwirft Pläne, begründet jeden Vorschlag mit Regel und Zahl.
Der Mensch entscheidet: Entscheidet und gibt frei. Kann jeden Vorschlag verwerfen.
Gesperrt bleibt: Unklare Lagerdaten oder ein ausgefallener Ersatzwagen sperren die Übernahme.

Führung12 Stationen, direkt in der Demo markiert.

01 / Fünf Fragen an den Fall

Was ist passiert?: Wagen A fällt aus. 42 Kittel für Station Nord und Süd sind reserviert, aber noch nicht unterwegs.
Welche Dinge hängen zusammen?: Station, Bedarf, Reservierung, Tour, Wagen und Weg, Lieferung, Empfang. Ein Klick auf eine Station öffnet ihre Akte mit der ganzen Kette.
Welche Handlung ist möglich?: Fünf Ersatzpläne an elf Regeln prüfen, Umlauf und Verzögerung ändern, einen zulässigen Plan übernehmen, die Touren freigeben, versenden und empfangen.
Welche Folge sieht man?: Früher Start, 12 bis 17 Minuten Umlauf: 6 von 6 Fällen halten die Frist. Mit zwei Minuten Verzögerung 17 von 18, einer endet um 10:31. Nach dem Empfang: Nord 30, Süd 30, Lager 38, zusammen 98.
Welche Annahmen gelten?: Klinik, Mengen und Zeiten sind erfunden. Die Prüfung rechnet einen festen Regelkern nach, sie ist kein formaler Beweis. Unklare Lagerdaten oder ein ausgefallener Ersatzwagen sperren die Übernahme.

02 / Wie es läuft

Läuft ganz in Ihrem Browser. Nichts wird gesendet. Ein exportierter Plan lässt sich mit dem Prüfer außerhalb der Seite nachrechnen.

Was hier zu sehen istFORGE KALKÜL

Prüfer und BeispielauszügeExportierte Pläne lassen sich mit Node.js 22 außerhalb der Seite nachrechnen.LIESMICH.txt verify.js