Simulation diskreter Systeme

• Einführung in Begriffe und Methoden
• Periodenorientierte Systeme
• Endliche Automaten
• Zustandsdiagramme
• Petri-Netze
• Warteschlangen und Bedienstationen
• Prozess-basierte Systeme
• Modell-Verifizierung und -Validierung
• Abstrakte Modellierung ereignisgesteuerter Systeme
• Hybride Systeme
• Aufgaben
• Anhang