Projekt : Hierarchien rekursiver Klassen gefärbter Petrinetze
|
|
|
|
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.
