Am 13. Mai 1968 bricht eine Expedition unter Indianerscout Running Horse in die Appalachen auf, um ein legendäres, fruchtbares Tal zu finden. Keiner kehrt lebend zurück, außer Running Horse, der der Trunksucht verfällt. Jahre später entdeckt Anthropologe Dr. Richard Matheson das Expeditionstagebuch und organisiert eine neue Expedition, die in unheimliche Phänomene und einen verzweifelten Überlebenskampf führt.
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