Das Programm Netlab ermöglicht die Eingabe und Analyse von Petri-Netzen der Klasse Stellen/Transitions-Netze (S/T-Netze). Die zugrundeliegende Petri-Netz-Theorie mit einer Beschreibung der verschiedenen, in Netlab implementierten Analyseverfahren sowie die beigefügten Beispiele sind in D. Abel, Petri-Netze für Ingenieure, Springer, Berlin, 1990, zu finden.

Netlab beinhaltet die folgenden Funktionalitäten:

• Graphischer Editor für S/T-Petri-Netze
• Analysefunktionen für verschiedene Graphen und Invarianten
• Ergebnismodul, das die Analyseergebnisse auswertet
• Simulator zur Animation eines Petri-Netzes (Markenspiel)
• Integration in Matlab zur hybriden Simulation von Petrinetzen unter Simulink

Der Editor ist die Schnittstelle zwischen dem Benutzer und der Petrinetz- Struktur. Mit Hilfe des Editors lassen sich Petrinetze graphisch erstellen und bearbeiten. Die Darstellung der Petrinetze erfolgt in der üblichen Weise. Es ist möglich mehrere Petrinetze gleichzeitig zu bearbeiten, da jedes Netz seine eigene Datenstruktur verwaltet. Über Menüs ist es dann möglich die Analysefunktionen, Analyseergebnisse und den Simulator aufzurufen. Im Eigenschaftsdialog von Netlab kann man zwischen Spanisch, Deutsch und Englisch als Menüsprache wählen.

Die englisch verfasste Hilfe zu Netlab können Sie in einem separaten Fenster einsehen.