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.