Properties of Multiset Language Classes Defined by Multiset Pushdown Automata

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

Article type: Research Article

Authors: Kudlek, Manfred | Totzke, Patrick | Zetzsche, Georg

Affiliations: Department Informatik, MIN Fakultät, Universität Hamburg, Vogt-Kölln-Straße 30, D-22527 Hamburg, Germany, {kudlek,3totzke,3zetzsch}@informatik.uni-hamburg.de

Note: [] Address for correspondence: Department Informatik, MIN Fakultät, Universität Hamburg, Vogt-Kölln-Straße 30, D-22527 Hamburg, Germany

Abstract: The previously introduced multiset language classes defined by multiset pushdown automata are being explored with respect to their closure properties and alternative characterizations.

Keywords: commutative grammars and automata, Petri nets, multiset rewriting and languages

DOI: 10.3233/FI-2009-0099

Journal: Fundamenta Informaticae, vol. 93, no. 1-3, pp. 235-244, 2009