Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Petri-Netze (PN)

Institut für Informatik / Universität Koblenz-Landau

Universitätsstraße 1, 56070 Koblenz
Profil

Kurzportrait

Die AG-Petri-Netze beschäftigt sich mit der Modellierung und Analyse paralleler Systeme und mit Diagnostik mit Netzen. Sie hat eine auf Netze basierende CASE-Methode entwickelt und arbeiten an einer Synthese von Petri-Netzen und objektorientierten Konzepten. Im DFG-Projekt

KONDISK wird die Analyse und Synthese kontinuierlich-diskreter technischer Systeme erforscht.

Dienstleistungs­angebot

Stiftung Rheinland-Pfalz für Innovation

Universität Magdeburg, Institut für Automatisierungstechnik, Lucas-Varity Ausrüstungs GmbH, Logistics CEDC, Neuwied Lucas-Varity Automotive, Koblenz

Mercedes-Benz AG, Werk Düsseldorf

Motorola GmbH, Geschäftsbereich Corporate/Government Relations, Wiesbaden Bundesanstalt für Ge