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

Applicant Dr. Hartmann Genrich
Subject Area Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
Term from 1996 to 2000
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 5269020
 

Project Description

No abstract available
DFG Programme Priority Programmes
Subproject of SPP 1016:  Analyse und Synthese kontinuierlich-diskreter technischer Systeme (KONDISK)
Participating Person Professor Dr.-Ing. Hans-Michael Hanisch