Zur Startseite

Zum Editor

Index

PetriEdiSim
Tutorial zum Thema "Petri-Netze"

Dieses Tutorial zum Thema Petri-Netze basiert auf dem Skript von Prof. Dr. E.-R. Olderog zu der Stammvorlesung "Netze und Prozeße". Es enthält die wichtigsten Definitionen, Erläuterungen sowie eine große Anzahl an Beispielen. Auf die Beweise wurde in diesem Tutorial verzichtet. Weiterführende Informationen können direkt dem Skript der Vorlesung entnommen werden.
Die einzelnen hier enthaltenen Themen sind in der folgenden Übersicht aufgelistet und können direkt angeklickt werden. Zusätzlich existiert noch ein Index, in dem nach speziellen Begriffen gesucht werden kann (Icon oben rechts).

Themenübersicht

1.    Automaten (Grundlage für Petri-Netze)

-   Definition

-   Graphische Darstellung

2.    Petri-Netze

2.1    Definition

-   Netz

-   Platz und Transition

2.2    Graphische Darstellung mit Beispielen

-   Anwendungsbeispiele

2.3    Dynamisches Verhalten eines Netzes : Tokenspiel

-   Multimenge

-   Schalten von Transitionen

2.4    Erreichbarkeit

-   Erreichbare Markierungen

-   Schwache Isomorphie

-   Interleaving-Fallgraph

2.5    Analyse von Netzen

-   Wechselseitiger Ausschluß

-   Sicherheit

2.6    Struktureigenschaften

-   Sicherheit

-   Lebendigkeit

2.7    Nachteile von Netzen

-   Kompositionalität

-   Abstraktion

3.    Glossar

4.    Literaturverzeichnis und Links