Application of data compression techniques to the numerical analysis of time-extended petri nets with large state space

计算机、通信和费蒂贡系统的计算机模型。从数字分析中可以看出，这是一种新的方法。Dazu在Der Gröçe der Anzahl der Zustände Iterativ Gelöst中被认为是一个在线的Gleichungs系统。在L的帮助下，我们有了更多的兴趣。Anzahl von Zuständen指数MIT der Gröçe des Petrinetze ANWächst，is das Verfahren für Modellierungsufgaben Aus der Praxis of Nicht and wendbar.从德国和德国的财政状况来看，这些国家和地区的系统都存在其效力，因此，这些国家和地区的国家和地区都存在这种状况。Für den Iterations-bzw.Lösungsvektor gibt es jedoch noch kein Verfahren.德森·格罗伯在数字分析的基础上提出了这一观点。Zil des Forschungsvorhabens Des Entwickump eines Neuen近似式以及Verfahrens für De Die数值分析。所有的一切都发生了变化，这是一种错误的看法。大北地区的经济状况与经济状况有很大的关系。这句话的意思是：我不知道该怎么做，我不知道该怎么做。这句话的意思是：[译文][参考译文][参考译文]。他说：“这是一件非常重要的事情。”这是一种有效的迭代，甚至是一种有效的集成。该方法适用于时间网络的实施和实际应用。

Zeiterweiterte Petrinetze eignen sich für die Modellierung von Computer-, Kommunikations- und Fertigungssystemen. Durch die numerische Analyse können Leistungs- und Zuverlässigkeitsmaße gewonnen werden. Dazu werden alle Zustände des Petrinetzes erzeugt und ein lineares Gleichungssystem in der Größe der Anzahl der Zustände iterativ gelöst. Der Lösungsvektor gibt die Zustandswahrscheinlichkeiten an, aus denen die interessierenden Maße berechnet werden. Da die Anzahl von Zuständen exponentiell mit der Größe des Petrinetzes anwächst, ist das Verfahren für Modellierungsaufgaben aus der Praxis oft nicht anwendbar. Für die Speicherung des Zustandsraums und der Koeffizientenmatrix des Gleichungssystems existieren bereits effiziente Verfahren, die den Speicherbedarf von der Anzahl der Zustände entkoppeln. Für den Iterations- bzw. Lösungsvektor gibt es jedoch noch kein Verfahren. Dessen Größe ist momentan der begrenzende Faktor bei der numerischen Analyse. Ziel des Forschungsvorhabens ist die Entwicklung eines neuen approximativen Verfahrens für die numerische Analyse. Es soll ein möglichst allgemein anwendbares Verfahren entwickelt werden, das nicht auf bestimmte Modellklassen angewiesen ist. Dabei sollen verlustbehaftete Datenkompressionsverfahren für die Speicherung des Iterationsvektors verwendet werden. Grundlage ist die Ausnutzung von Korrelationen, die sich aus dem Modellkontext ergeben. Darauf baut ein typisches Kompressionsverfahren mit Dekorrelation, Quantisierung und Entropiekodierung auf. Der verlustbehaftete Quantisierungsschritt geschieht in Abhängigkeit von gewählten Fehlertoleranzen. Das Verfahren muss effizient in einen iterativen Gleichungslöser integriert werden. Die Methode wird in das Modellierungswerkzeug TimeNET implementiert und an Praxisbeispielen getestet.