Verifikationstechniken für Petrinetze auf Multicore-Architekturen

Seit Einiger Zeit是zur Steigerung der Leistungsfähigkeit von Hardware Archekturen verstärkt多核-Prozessoren eingesetzt。他说：“我不知道该怎么做，但我不能这么做。”这是一种罪过，它是一种自我保护，它实现了十种算法。我们认为资源密集型的Klasse von Anwendungen和Verfahren的计算机验证是一致的。Zwar ist hier Normerweise der SpeicherPlaz die begrenzende resource，eine deutliche Verbesserung im Laufzeitverhalten könnte jedoch Neue Anwendungen erschlieüen，z.b.eine stärkere von Modellierungs-and Verifikationstätigkeiten.齐尔在多核建筑中为Vorhabens Sist es，Verteilbarkeit和Verteilbarkeit进行了验证。我们对此进行了研究，并对其进行了分析。在这项工作中，我们将失去一个真正的勘探组织，它的勘探任务是从石油和天然气中分离出来。

Seit einiger Zeit werden zur Steigerung der Leistungsfähigkeit von Hardwarearchitekturen verstärkt Multicore-Prozessoren eingesetzt. Dabei stellt sich heraus, dass eine optimale Nutzung der dadurch zur Verfügung stehenden Leistung nicht allein durch Compilertechniken erzielt werden kann. Statt dessen ist es sinnvoll, die Anwendungen selbst zu verteilen und dabei Einsichten über die implementierten Algorithmen zu nutzen. Eine besonders ressourcenintensive Klasse von Anwendungen sind Verfahren der computergestützten Verifikation. Zwar ist hier normalerweise der Speicherplatz die begrenzende Ressource, eine deutliche Verbesserung im Laufzeitverhalten könnte jedoch neue Anwendungen erschließen, z.B. eine stärkere Verzahnung von Modellierungs- und Verifikationstätigkeiten. Ziel dieses Vorhabens ist es, Verifikationstechniken für Petrinetze auf ihre sinnvolle Verteilbarkeit in Multicore-Architekturen zu untersuchen. Dabei werden sowohl zustandsraumbasierte Verfahren als auch strukturelle Analysetechniken betrachtet. In der Zustandsraumverifikation, wo es bereits einschlägige Arbeiten zur Organisation der eigentlichen Zustandsraumexploration gibt, liegt dabei der Schwerpunkt auf petrinetzspezifischen Aspekten von Zustandsraumreduktionstechniken.