Modellierung, Analyse und Verifikation von Rezeptsteuerungen mit höheren Petrinetzen

• Antragsteller: Dr. Hartmann Genrich
• 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
• Teilprojekt zu: SPP 1016: Analyse und Synthese kontinuierlich-diskreter technischer Systeme (KONDISK)
• Beteiligte Person: Professor Dr.-Ing. Hans-Michael Hanisch