Petri-Netze

Petri-Netze sind ein Werkzeug zur Modellierung und Analyse von dynamischen Systemen. Insbesondere Aspekte der Nebenläufigkeit, Kommunikation und Synchronisation können mit ihnen sowohl bildlich als auch mathematisch formal erfaßt werden. Ein reiches Repertoire von Analysemethoden erlaubt es, mit Netzmethoden diskrete Systeme detailliert zu untersuchen. Dieses Buch stellt die formalen Grundlagen der Petri-Netze bereit. Neue Begriffe werden dabei stets durch anschauliche Modelle von Alltags- oder EDV-Systemen illustriert. Daneben stehen prinzipielle oder praktische Hinweise zum Modellieren und Entwerfen von Petri-Netzen. Mit den Kommunikationsprotokollen und der Logik werden bewußt zwei unterschiedliche Anwendungsgebiete der Netztheorie behandelt, um einen Eindruck vom breiten Spektrum der Einsatzmöglichkeiten für Petri-Netze zu vermitteln. Zahlreiche Übungsaufgaben mit Lösungshinweisen, ein ausführliches Literaturverzeichnis sowie ein detailliertes Stichwortverzeichnis runden das Buch ab.