Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß


Projekt : Hierarchien rekursiver Klassen gefärbter Petrinetze

Deutsche Version. This page is available in German only. Cette page n'existe qu'en Allemand. Ésta página sólo existe en Alemán.


Prof. Dr. Jantzen, Professor im Ruhestand

Laufzeit: seit 11/2005

Schlagworte: Zählerautomaten; Sprachen, formale; Petri-Netze, gefärbte

Ziele:

Die Hierarchie der Familien (b,r)-BRBC von Zählersprachen, die von Zählerautomaten mit b 'blinden' und r 'umkehrbeschränkten' Zählern akzeptiert werden, sollen auf passende Klassen gefärbter Petri-Netze übertragen werden. Die Anwendung der linearen Algebra wird hier berechenbare Klassen von Petrinetzsprachen oder Entscheidbarkeitsresultate ermöglichen.

Letzte Änderung: 17:40 19.05.2011
Impressum