Diplomarbeit

Moderne Logistiksysteme entwickeln sich im Zuge zu hoch-verteilten, lose-gekoppelten Systemen mit Qualitätsanfoderungen an Verfügbarkeit und Ausfallsicherheit.

Im extrem Fall sind die Agenten, welche einzelne Knoten repräsentieren, ein Schwarm mit eigener Intelligenz, welche kooperative Aufgaben löst.

Interessant ist welche Eigenschaften solcher Systeme in Prozesskalkülen abbildbar und beweisbar sind.