Die Analyse diskret gesteuerter Systeme beschränkt sich bisher auf die Möglichkeiten der Simulation; für zeitlich parallele, nebenläufige Prozesse benötigt man als weiteres, leistungsfähiges Instrument die Petri-Netze. Das Buch führt in die Theorie ein, soweit dies für den Anwender erforderlich ist, beschreibt die Möglichkeiten und zeigt die Anwendung sowohl mit Hilfe graphentheoretischer als auch algebraischer Methoden.