Im Rahmen der Vorlesung Petri-Netze 1 im WS 03/04 sollen vorlesungsbegleitend verschiedene Software-Projekte entwickelt werden. Unsere Gruppe besteht aus drei Mitgliedern:

- Thorsten Berger <mail@thorsten-berger.net>
- Björn Dassow <mai99lfj@studserv.uni-leipzig.de>
- Stefan Sosnicki <stefan@sosnicki.de>

Petri-Netze im allgemeinen ermöglichen die Modellierung, Analyse und Simulation nebenläufiger Systeme. In Abhängigkeit des zu modellierenden Systems können verschieden mächtige Klassen von Petri-Netzen eingesetzt werden, auf die hier nicht weiter eingegangen werden soll. Jeden Netztyp kann man als hierarchisches Petri-Netz strukturieren, wobei wir uns auf Stellen-Transitions-Netze beschränken werden.
Der Vorteil hierarchischer Petri-Netze liegt in der Abstraktion von umfangreichen, kleinen und evtl. unübersichtlichen Strukturen hin zu einfacheren Netzen in verschiedenen Ebenen. Die oberen Netzebenen werden hierbei auch als Kanal-Instanzen-Netze bezeichnet.

• Pflichtenheft
  
  
• Spezifikation

• Java-Applikation, verw. Frameworks/Bibliotheken: Swing, JGraph, JavaHelp
  
• Funktionen: Erstellen/Editieren hierarch. Petri-Netze (Stellen/Transitions-Netze), Komposition, autom. Layout, Simulation des Schaltverhaltens