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) 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.
