| Universität Siegen | Fachbereich 12 | Fachgruppe Praktische Informatik |
Petri-Netze sind Modelle für die Zustände eines Systems und die Übergänge zwischen diesen Zuständen. Petri-Netze eignen sich insbesondere für die Modellierung paralleler bzw. verteilter Systeme, die aus Komponenten bestehen, deren Zustand sich unabhängig weiterentwickelt. Dieses Lehrmodul stellt die Grundformen der Petri-Netze (Bedingungs-Ereignis-Netze und Stellen-Transitions-Netze) ausführlich vor und geht auf die Bildung, Interpretation und Analyse der Netze ein. Ferner stellen wir erweiterte Varianten (Prädikat-Transitions-Netze und hierarchische Netze) kurz vor.
- entfällt -
2003-03-16: um Glossar und Übungsaufgaben
erweitert, redaktionelle Änderungen
2000-10-14: div. Tippfehler beseitigt
2000-01-16: Erstversion