Modellierung, Analyse und Verifikation von Rezeptsteuerungen mit höheren Petrinetzen
Fachliche Zuordnung
Automatisierungstechnik, Mechatronik, Regelungssysteme, Intelligente Technische Systeme, Robotik
Förderung
Förderung von 1996 bis 2000
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5269020
Keine Zusammenfassung vorhanden
DFG-Verfahren
Schwerpunktprogramme