德语 » 英语

词条„Petrinetz“在德语 » 英语中的译文

(跳至 英语 » 德语)

互联网提供的例句(未经PONS编辑处理)

Aktuelle Projekte :

Petrinetz-Werkzeuge als Grundlage der Modellbildung, -bewertung und -ausführung

Concurrency-Theorie

www.informatik.uni-hamburg.de

Current projects :

Petri net tools as basis for model creation, evaluation and execution

Concurrency Theory

www.informatik.uni-hamburg.de

Renew kann lokal im Sun-Cluster mit dem Befehl renew gestartet werden.

Weitere Petrinetz-Werkzeuge werden auf der Werkzeug-Übersichtsseite der Petri Nets World gesammelt.

Java-Tools

www.informatik.uni-hamburg.de

Renew is a Java-based Petri net tool that is developed here at Hamburg.

Other Petri net tools are collected at the tools overview page of the Petri Nets World.

Java Tools

www.informatik.uni-hamburg.de

Die Lineare Logik ermöglicht in ihrem multiplikativen Fragment eine besonders natürliche Modellierung von Petrinetzen, die zur Spezifikation von nebenläufigen Systemen geeignet ist.

Für die Lineare Logik und insbesondere für das multiplikative Fragment sind Kategorien gefunden worden, die eine kategorientheoretische Betrachtung der Petrinetz-Theorie ermöglichen.

www.informatik.uni-hamburg.de

Linear logic permits in its multiplicative fragment a very natural way of specifying Petri nets, which are a prime model of concurrency.

Categorical representations of fragments of linear logic exist and some attempts have been undertaken to apply these categories to linear logic models of Petri nets.

www.informatik.uni-hamburg.de

您想添加一个词、一个短语或一段译文吗?

请发送新条目。

语言 Deutsch | Български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | Türkçe | 中文