Bibliographie

Concurrent Finite Automata

Matthias Jantzen, Manfred Kudlek, and Georg Zetzsche.
Concurrent finite automata.
In Manfred Droste and Markus Lohrey, editors, Tagungsband 17. Theorietag Automaten und Formale Sprachen, pages 84-88, 2007.

Kurzfassung: We present a generalization of finite automata using Petri nets as control. Acceptance is defined by final markings of the Petri net. The class of languages obtained by $\lambda$-free concurrent finite automata contains both the class of regular sets and the class of Petri net languages defined by final marking.

BibTeX-Eintrag

@INPROCEEDINGS{Jantzen+07b,
  AUTHOR =  {Jantzen, Matthias and Kudlek, Manfred and
                  Zetzsche, Georg},
  TITLE =  {Concurrent Finite Automata},
  EDITOR =  {Droste, Manfred and Lohrey, Markus},
  BOOKTITLE =  {Tagungsband 17. Theorietag Automaten und Formale
                  Sprachen},
  PAGES =  {84--88},
  YEAR =  2007,
  ABSTRACT =  {We present a generalization of finite automata using
                  Petri nets as control. Acceptance is defined by final
                  markings of the Petri net. The class of languages
                  obtained by $\lambda$-free concurrent finite automata
                  contains both the class of regular sets and the class of
                  Petri net languages defined by final marking.}
}

Copyright-Hinweis

Diese Informationen werden zur Verfügung gestellt, um technische und Forschungsarbeiten zeitnah bekannt zu geben. Das Urheberrecht und alle damit verbundenen Rechte verbleiben bei den Autoren bzw. anderen Rechteinhabern. Von jedem, der Informationen dieser Seiten übernimmt, wird erwartet, dass er sich an die jeweiligen Bedingungen und Beschränkungen der Rechteinhaber hält. Meist bedeutet dies, dass die hier bereitgestellten Daten nicht ohne explizite Genehmigung der Rechteinhaber weiterveröffentlicht werden dürfen.