Petri-Netze

Petri-Netze sind ein Werkzeug zur Modellierung und Analyse von dynamischen Systemen. Insbesondere Aspekte der NebenlAufigkeit, Kommunikation und Synchronisation kAnnen mit ihnen sowohl bildlich als auch mathematisch formal erfaAt 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 bewuAt zwei unterschiedliche Anwendungsgebiete der Netztheorie behandelt, um einen Eindruck vom breiten Spektrum der EinsatzmAglichkeiten fA1/4r Petri-Netze zu vermitteln. Zahlreiche Aoebungsaufgaben mit LAsungshinweisen, ein ausfA1/4hrliches Literaturverzeichnis sowie ein detailliertes Stichwortverzeichnis runden das Buch ab.