PetriEdiSim


Lernkonzept

Petri-Netze sind ein in der Informatik weit verbreiteter Formalismus zur Modellierung und Untersuchung paralleler Systeme. In diesem Lernprogramm kann man die Grundlagen der Petri-Netze erlernen, eigene Petri-Netze erstellen und simulieren. Das Lerprogramm PetriEdiSim enthält einen hypermedialen tutoriellen Teil, der in der Art eines Vorlesungsskripts in das Thema einführt. Der zentrale Teil des Programms ist ein Simulator für Petri-Netze mit eingebautem Editor. Er läuft als Java-Applet in einem eigenen Browser-Fenster. Die wichtigsten Beispiele aus dem tutoriellen Teil sind als fertige Netze simulierbar.

PetriEdiSim