Im Bereich Rechnernetze und Verteilte Systeme existiert eine Vielzahl von Kommunikationsprotokollen. Aufgrund ihrer Komplexität und Dynamik sind sie in der Lehre am besten anhand von Animation und Simulation zu vermitteln. Hierzu gehören auch Möglichkeiten, unterschiedliche Fälle interaktiv durchzuspielen und Einflussfaktoren ändern zu können.

Das HiSAP Projekt befasst sich mit der Entwicklung und Implementation eines Systems zur interaktiven Simulation und Animation von Protokollen. Protokolle werden hierbei formal spezifiziert und in ein intern ablauffähiges Simulationsmodell überführt. Die Benutzer können sich dann in animierten Simulationsläufen mit dem jeweiligen Protokoll auseinandersetzen.

In dieser Diplomarbeit wurde ein Mechanismus entworfen und implementiert, der ein mit Hilfe von Petri-Netzen spezifiziertes Protokoll in ein internes Simulationsmodell für HiSAP überträgt. Es wurde dabei das bisher aus SDL-Spezifikationen hergeleitete Simulationsmodell mit einbezogen.