Realtime Logistics - Echtzeitfähige Logistik

材料流动系统的不确定性及其在环境中的稳定性取决于物流系统的稳定性及其对环境的影响，因此，需要对物流系统的稳定性及其对环境的影响进行评估。首先需要一个物理拓扑学、信息基础设施和控制系统的基本模型，以使所有与内部逻辑系统相关的方面都能实现。Es韦尔登analytische Verfahren zum Nachweis der Echtzeitfähigkeit verwendet，die in der Intralogistik bisher nicht eingesetzt wurden. Kommunizierende endliche Zustandautomaten bilden内策来自nebenläufigen Automaten，die miteinander interagieren。一个正式的分析解决方案自动化模型可以建立一个新的技术领域，并直接建立一个真正的控制系统。

Die Notwendigkeit zur Betrachtung von Materialflusssystemen und deren Steuerungen unter Echtzeitaspekten leitet sich insbesondere aus der stetig zunehmenden Vernetzung logistischer Systeme und der damit verbundenen, zunehmenden Bedeutung ihres schnellen Antwortzeitverhaltens ab. Erstmals soll ein einheitliches Modell von physikalischer Topologie, Informationsinfrastruktur und Steuerungslogik entwickelt werden, das alle echtzeitrelevanten Aspekte intralogistischer Systeme abbildet. Es werden analytische Verfahren zum Nachweis der Echtzeitfähigkeit verwendet, die in der Intralogistik bisher nicht eingesetzt wurden. Kommunizierende endliche Zustandsautomaten bilden Netze von nebenläufigen Automaten, die miteinander interagieren. Eine formale Analyse solcher Automatenmodelle kann den Nachweis der Echtzeitfähigkeit erbringen und die nahe und direkte Abbildung realer Steuerungssysteme ermöglicht eine einfache Anwendung der Erkenntnisse.