课题基金 / 基金详情

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

Modellierung, Analyse und Verifikation von Rezeptsteuerungen mit höheren Petrinetzen
使用更高 Petri 网对配方控制进行建模、分析和验证
批准号：
5267274
负责人：
Professor Dr.-Ing. Hans-Michael Hanisch
金额：
$0.0万
依托单位：
Fraunhofer-Institut für Algorithmen und Wissenschaftliches Rechnen (SCAI)
依托单位国家：
德国
项目类别：
Priority Programmes
财政年份：
1996
资助国家：
德国
项目状态：
已结题
起止时间：
1995-12-31 至 1999-12-31
来源：
https://gepris.dfg.de/gepris/projekt/5267274?language=en
关键词：
ModellierungAnalyseundVerifikationvon

项目摘要

项目成果

Professor Dr.-Ing. Hans-Michael Hanisch的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
No abstract available
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Formale Synthese verteilter Prozesssteuerungen
Formale Synthese verteilter Steuerungen
Workbench zur inkrementellen und modularen Entwicklung offener Modelle
Störungsüberwachung und Synthese von Abfahrsteuerungen in hybriden Systemen
海外基金