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.
[pdf]
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.[pdf]
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.
