Petri Net Controlled Finite Automata

Issue title: Concurrency Specification and Programming (CS&P)

Article type: Research Article

Authors: Farwer, Berndt | Jantzen, Matthias | Kudlek, Manfred | Rölke, Heiko | Zetzsche, Georg

Affiliations: Department of Computer Science, Durham University, UK. [email protected] | Department Informatik, MIN-Fakultät, Universität Hamburg, DE. {jantzen,kudlek,roelke,3zetzsch}@informatik.uni-hamburg.de

Abstract: We present a generalization of finite automata using Petri nets as control, called Concurrent Finite Automata for short. Several modes of acceptance, defined by final markings of the Petri net, are introduced, and their equivalence is shown. The class of languages obtained by –free concurrent finite automata contains both the class of regular sets and the class of Petri net languages defined by final marking, and is contained in the class of context-sensitive languages.

Keywords: Finite automata, Petri nets

Journal: Fundamenta Informaticae, vol. 85, no. 1-4, pp. 111-121, 2008