Bernd Baumgarten Livres

Der Autor hat sich nach seinen Abschlussarbeiten intensiv mit diskreter Mathematik beschäftigt, insbesondere mit der Spezifikation und Testgenerierung von kommunizierenden diskreten Systemen. Zudem vermittelt er Wissen in den Bereichen Petri-Netze, Logik und Theoretische Informatik. Seine berufliche Laufbahn vereint Forschung und Lehre, wodurch er tiefgehende Einblicke in komplexe mathematische Konzepte bietet.

Das Kompendium präsentiert die für ein Mathematik- oder Informatikstudium benötigten Grundlagen der diskreten Mathematik in kompakter Form. Alle wichtigen Themen wie Mengen, Relationen und Funktionen, Logik, Graphen, abstrakte und lineare Algebra sowie diskrete Wahrscheinlichkeitstheorie werden abgedeckt. Damit erweist sich das Buch als nützlicher Begleiter für viele Vorlesungen im Studium.

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.