Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

Project : Hierarchien rekursiver Klassen gefärbter Petrinetze

Diese Seite ist nur auf Deutsch verfügbar. 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, retired professor

Duration: since 11/2005

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

Objectives:

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.

Last Change: 17:40 05/19/2011
Imprint/Disclaimer