Ausgehend von den grundlegenden Begriffen der Petrinetztheorie wird eine Methodik
demonstriert, wie nebenläufige Systeme, insbesondere nichtsequentielle Programme, mit verschiedenen Klassen von Petrinetzen modelliert und mit welchen Analysetechniken welche Systemeigenschaften anhand des jeweiligen Modells analysiert werden können.