Modellierung, Analyse und Verifikation von Rezeptsteuerungen mit höheren Petrinetzen
Subject Area
Automation, Mechatronics, Control Systems, Intelligent Technical Systems, Robotics
Term
from 1996 to 2000
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5269020
No abstract available
DFG Programme
Priority Programmes