Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

• TGI
  • Heimatseite
  • Ankündigungen
• Personen
  • Mitarbeiterinnen und Mitarbeiter
  • Studentinnen und Studenten
• Lehre
  • Lehre
  • Abschlussarbeiten
• Forschung
• Publikationen
• Service
  • Service
  • Tools
  • Petri Nets World
    

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.