Aktuelle Projekte :
Petrinetz-Werkzeuge als Grundlage der Modellbildung, -bewertung und -ausführung
Concurrency-Theorie
www.informatik.uni-hamburg.deCurrent projects :
Petri net tools as basis for model creation, evaluation and execution
Concurrency Theory
www.informatik.uni-hamburg.deRenew 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.deRenew 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.deDie 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.deLinear 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.deMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.