2014/01/24 by Michael ten Hompel, Ten Hompel, Michael, Moritz Roidl +3
Computer Science · #Petri Nets in System Modeling
paper · doi:10.2195/lj_proc_tenhompel_de_201108_02
In diesem Beitrag zur Komplexitätsanalyse von Materialflusssystemen unter Zeitrestriktionen wird ein Algorithmus vorgestellt, der die Bestimmung von Transportkollisionen als parallelisierbares Problem betrachtet und dessen Datenstrukturen auf die Analyse der Wechselbeziehungen von Lastobjekten ausgerichtet ist. Am Beispiel eines Deadlockszenarios wird die Funktionsweise des Algorithmus dargestellt und gezeigt, dass die explizite Betrachtung von zeitlichen und räumlichen Abhängigkeiten unter Lastobjekten eine Deadlockerkennung möglich macht. Der Algorithmus bildet die Grundlage für weitere Anwendungen in der Analyse der Echtzeitfähigkeit von Materialflusssystemen.