Parallele Systeme
Fallstudien in Petri-Netzen
| Beginn: Ab sofort. AnsprechpartnerIn: Eike.Best Voraussetzungen: Keine besonderen Vorkenntnisse erforderlich. Kurzbeschreibung: In dieser Arbeit sollen einige parallele Algorithmen in Petrinetzen modelliert und untersucht werden. |
Beschreibung
Die Literatur bietet eine reiche Fülle an parallelen Algorithmen. In
diesem Projekt sollen wichtige und bekannte Algorithmen in PEP modelliert
werden. Dabei sollen vorwiegend Petrinetz-Modelle entstehen, ausgewählte
Algorithmen können zusätzlich auch in anderen Spezifikationssprachen
erstellt werden. Im Anschluss sollen die Modelle verifiziert und -
wo möglich - miteinander verglichen werden.
Zur Durchführung dieses Projekts sind gewisse Kenntnisse von Petrinetzen
von Vorteil.