Verteilte optimistische Simulation von stochastischen farbigen Petrinetzen

En savoir plus sur le livre

Stochastische farbige Petrinetze sind ein wichtiges Werkzeug zur Modellierung von Kommunikations-, Rechen-, Logistik- und Fertigungssystemen, da sie eine klare grafische Darstellung sowie eine mathematische Beschreibung von Nebenläufigkeit, Synchronisation und stochastischen Aktivitäten bieten. Die Nutzung leistungsfähiger Grid- und Clustercomputer ermöglicht eine verteilte Simulation dieser komplexen Modelle, was die Ressourcenanforderungen senkt und die Simulationsgeschwindigkeit erhöht. Diese Systeme zeichnen sich durch stochastisch verteilte, zeitlose, priorisierte und global abhängige Zustandsübergänge aus. Die Arbeit zielt darauf ab, optimistische verteilte Simulationsverfahren für stochastische farbige Petrinetze zu entwickeln, wobei hohe Anforderungen an die Kausalitätsbedingungen bestehen. Ein neues logisches Zeitschema ermöglicht die eindeutige Zuordnung von Zeitstempeln zu Ereignissen und gewährleistet die Kausalordnung. Es wird bewiesen, dass dieses Zeitschema der Natur der Zeit entspricht, was zu korrekten globalen Zuständen führt. Das Verfahren erlaubt eine feingranulare Modellaufteilung in unabhängige logische Einheiten und verhindert zyklisches und kaskadierendes Zurücksetzen. Es unterstützt auch Eigenschaften wie Transitionsprioritäten und globale Schaltbedingungen. Algorithmen zur dynamischen Lastverteilung nutzen den virtuellen Zeitfortschritt als Maß, um Störungen zu erfassen. Diese Methoden wurden in einem