Language Classes Defined by Concurrent Finite Automata

• Autorzy: Jantzen M. , Kudlek M. , Zetzsche G.
• Języki publikacji: EN

Abstrakty

EN

This paper presents results regarding the various relations among the language classes defined by Concurrent Finite Automata, relations to other language classes, as well as decidability and closure properties.

Słowa kluczowe

EN

finite automata; Petri net; language classes

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 85, nr 1-4
• Strony: 267--280
• Opis fizyczny: bibliogr. 3 poz.

Twórcy

autor

Jantzen M.

autor

Kudlek M.

autor

Zetzsche G.

• Department Informatik, MIN-Fakultät, Universität Hamburg Vogt-Kölln-Str. 30 D-22527 Hamburg, Germany,

Bibliografia

• [1] B. Farwer, M. Jantzen, M. Kudlek, H. R¨olke, G. Zetzsche: Petri Net Controlled Finite Automata. In this volume.
• [2] E.W. Mayr: An Algorithm for the General Petri Net Reachability Problem. Proc. 13th Ann. ACM STOC, pp. 238-246, 1981; SIAM Journ. of Computation 13, pp. 441-460, 1984.
• [3] K. Rüdiger Reischuk: Komplexitätstheorie, Band I: Grundlagen, B.G.Teubner, 1999.