Kurzfassung

In diesem Projekt werden Semantiken nebenläufiger Prozesse untersucht. Hauptgegenstand des Interesses sind hierbei Petri-Netze, die schon per Definition sowohl den Begriff der Nebenläufigkeit als auch den des Nichtdeterminismus auf einfache Art zugänglich machen. Als Semantiken stehen hier Verallgemeinerungen der bekannten Petri-Netz-Sprachen auf Objekte zur Verfügung, die jeweils speziell Nebenläufigkeit oder Konfliktsituationen sichtbar machen, z.B. Pomesets und Event Structures. Es wurde...In diesem Projekt werden Semantiken nebenläufiger Prozesse untersucht. Hauptgegenstand des Interesses sind hierbei Petri-Netze, die schon per Definition sowohl den Begriff der Nebenläufigkeit als auch den des Nichtdeterminismus auf einfache Art zugänglich machen. Als Semantiken stehen hier Verallgemeinerungen der bekannten Petri-Netz-Sprachen auf Objekte zur Verfügung, die jeweils speziell Nebenläufigkeit oder Konfliktsituationen sichtbar machen, z.B. Pomesets und Event Structures. Es wurde in 2003 ein Lehrbuch "Theoretische Informatik - Petri-Netze" im Springer Verlag publiziert, mit einem Schwerpunkt auf neuen Resultaten der Semantik von Petri-Netzen aus diesem Projekt. Die aktuellen Forschungen behandeln eine Petri-Netz Semantik mittels dags (directed acyclic graphs) und den Synchronisationsabschluß von unranked, unordered trees. Weitere Informationen per e-mail: priese@uni-koblenz.de.» weiterlesen» einklappen