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

Universitätsstraße 1, 56070 Koblenz
Forschungsprojekte

1996 - 1999

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

ab 1994

Diagnostik mit Petri-Netzen

ab 1994

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

1993 - 1998

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

1993 - 1997

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

ab 1988

NEPTUN

bis 1998

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