|
|
|
|
|
Deployment of Multi-Agent Organizations in MULAN and their Formal Evaluation. Endri Deliu. Diplomarbeit
Organisation in Multiagentensystemen. Zouhair Frindi. Studienarbeit.
Zur Implementation von Petrinetz-Analysealgorithmen.
Stefan Manneck. Diplomarbeit
Vermeidung von Verklemmungen in flexiblen Fertigungssystemen modelliert als Objektpetrinetze.
Frank Sühl.
Diplomarbeit.
Referenznetze mit Anschriften in Scheme.
Friedrich Delgado Friedrichs. Diplomarbeit.
Policy-basierte Konfiguration von verteilten
Netzwerksicherheitskomponenten.
Axel Großklaus. Diplomarbeit.
Über formale Eigenschaften von Objektnetzen.
Stefan Manneck. Studienarbeit
Integration eines Model Checking Tools
an die Petrinetzentwicklunsumgebung RENEW.
Friedrich Delgado Friedrichs. Studienarbeit.
Entwicklung einer alternativen Wertsemantik für Objektpetrinetze
und ihr Invarianzkalkül.
Holger Tiemeyer. Diplomarbeit.
Simulation zeitdiskreter Modelle mit Referenznetzen.
Frauke Strümpel. Diplomarbeit. 2003.
Agentenorientierte Modellierung von Entscheidungsprozessen mit Petrinetzen.
Marcel Martens. Diplomarbeit. 2002
Exemplarische Evaluierung von Modellierungsnansätzen
ereignisorientierter Simulationsszenarien.
Frauke Strümpel. Studienarbeit. 2001
2007
2006
2003
2002
2001
[Dr. M. Köhler-Bußmeier]
[Publications]
[TGI]
