TGI-Lehre WWW
	Kontakt | Index | Suche | Rundgang | English

Modellbildung mittels semiformaler und formaler Techniken

Veranstalter: Daniel Moldt und Rüdiger Valk

Diese Seite enthält Material und zusätzliche Informationen zur
Hauptstudiumsschwerpunktvorlesung im WiSe 2004/2005

Offizielle Angaben aus dem Kommentierten Vorlesungsverzeichnis:

• Link zu KVV-Angaben

Materialien zur Veranstaltung

• FIPA Homepage: http://www.fipa.org/
• AUML-Homepage: http://www.auml.org/

Materialien zu Werkzeugen

• Editoren
• Information zu Renew.

Allgemeine Hinweise

• Zum Thema Petrinetze: Petri Nets World in Aarhus (http://www.daimi.au.dk/PetriNets/)
• Informationen zu sozialen Aspekten von Agentensystemen