Petrinetze bilden ein formales Hilfsmittel zur Modellierung paralleler Systeme, das durch die graphische Darstellung der Netze besonders attraktiv ist. Die Vorlesung behandelt verschiedene wichtige Klassen von Petrinetzen und zugehörigen Analyseverfahren. Dabei stellt sich die Frage, wie das Verhalten von parallelen Systemen auf einer abstrakten Ebene geeignet zu beschreiben ist; im Rahmen der Theorie der Petrinetze sind hier besonders Beschreibungen wichtig, bei denen ein Ablauf eines Systems durch eine Halbordnung der ausgeführten Aktionen modelliert wird.