Petri-Netze (PN) (Universität Koblenz) - Forschungsprojekte

NEPTUN
(ab 1988)

Diagnostik mit Petri-Netzen
(ab 1994)

Darstellung von Integritätsbedingungen und Realisierung derer in objektorientierte Datenbanken (Sprecher: Dipl.-Inform. Thomas Marx)
(bis 1998)

Petri-Net based CASE-Method (Sprecher: Dipl.-Inform. Thomas Marx)
(1993 - 1998)

DB-Technik in Engineering-Unternehmen (Sprecher: Dipl.-Inform. Thomas Marx)
(ab 1994)

Analyse von Petri-Netz Modellen (Sprecher: Dipl.-Inform. Hanno Ridder)
(1993 - 1997)

Analyse zeitbewerteter Stellen/Transitionennetze mit Ordered Natural Decision Diagrams zur optimalen Steuerung von Produktionsprozessen (AnZenOS)
(1996 - 1999)