TGI

• Page de l'accueil
• Annonces
• Équipe
• Étudiants

Cours

• Cours (seulement en Allemand)
• Mémoire (seulement en Allemand)

Recherche

• Recherche
• Publications

Misc

• Service
• Outils
• Petri Nets World
  

Projet : Modèles des Automates Concurrents

Prof. Dr. Jantzen, professeur retiré
Prof. Dr. Kudlek, professeur
Dr. Berndt Farwer , ancien chercheur associé
Dr. Heiko Rölke, ancien chercheur associé
Patrick Totzke, Student
Georg Zetzsche, étudiant

Durée: de 2006

Mots clés:

But:

Publications:

1. Berndt Farwer, Manfred Kudlek, Heiko Rölke
   Petri-Net-Controlled Machine Models
   (FBI-Bericht 274/06, 18 p., X 2006)
2. Berndt Farwer, Manfred Kudlek, Heiko Rölke
   Concurrent Turing Machines as Rewrite Theories
   (Proc. CS&P'2006, eds. G. Lindemann, H. Schlingloff, H.-D. Burkhard, L. Czaja, W. Penczek, A. Salwicky, A. Skowron, Z. Suraj, Humboldt-Universität zu Berlin, Informatik-Bericht Nr. 206,Vol. 3 Programming, pp. 352-363, 2006)
3. Berndt Farwer, Manfred Kudlek, Heiko Rölke
   Concurrent Turing Machines
   (FI vol. 79 (3-4), pp. 303-317, 2007)
4. Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, Georg Zetzsche
   On Concurrent Finite Automata
   (Proc. CS&P'2007, ed. L. Czaja, vol. 1, pp. 180-190, 2007)
5. Matthias Jantzen, Manfred Kudlek, Georg Zetzsche
   On Languages Accepted by Concurrent Finite Automata
   (Proc. CS&P'2007, ed. L. Czaja, pp. 321-332, 2007)
6. Matthias Jantzen, Manfred Kudlek, Georg Zetzsche
   Finite Automata Controlled by Petri Nets
   (Proc. 14. Workshop AWPN, eds. S. Philippi, A. Pinl, Arbeitsbericht aus dem FB Informatik 25/2007, Univ. Koblenz-Landau, pp. 57-62, 2007)
7. Matthias Jantzen, Manfred Kudlek, Georg Zetzsche
   Concurrent Finite Automata
   (Tagungsband 17. Theorietag Automaten und Formale Sprachen, ed. M. Droste, pp. 84-88, 2007)
8. Berndt Farwer, Matthias Jantzen, Manfred Kudlek, Heiko Rölke, Georg Zetzsche
   Petri Net Controlled Finite Automata
   (FI, vol. 85 (1-4), pp. 111-121, 2008)
9. Matthias Jantzen, Manfred Kudlek, Georg Zetzsche
   Language Classes Defined by Concurrent Finite Automata
   (FI, vol. 85 (1-4), pp. 267-280, 2008)
10. Manfred Kudlek, Patrick Totzke, Georg Zetzsche
    Multiset Storage Automata
    (Proc. of CS&P'2008, eds. G. Lindemann, H.-D. Burkhard, L. Czaja, W. Penczek, A. Salwicky, H. Schlingloff, A. Skowron, Z. Suraj, Humboldt-Universität zu Berlin, Informatik-Bericht Nr. 225, vol 2, pp. 265-277, 2008)
11. Manfred Kudlek, Patrick Totzke, Georg Zetzsche
    Properties of Multiset Language Classes Defined by Multiset Storage Automata
    (Proc. of CS&P'2008, eds. G. Lindemann, H.-D. Burkhard, L. Czaja, W. Penczek, A. Salwicky, H. Schlingloff, A. Skowron, Z. Suraj, Humboldt-Universität zu Berlin, Informatik-Bericht Nr. 225, vol 2, pp. 278-288, 2008)
12. Manfred Kudlek, Georg Zetzsche
    Concurrent Finite Automata and Related Language Classes
    (Preproc. AFLAS, 4 p., 2008)
13. Manfred Kudlek, Patrick Totzke, Georg Zetzsche
    Multiset Pushdown Automata
    (FI, vol. 93 (1-3), pp. 221-233, 2009)
14. Manfred Kudlek, Patrick Totzke, Georg Zetzsche
    Properties of Multiset Language Classes Defined by Multiset Pushdown Automata
    (FI, vol 93, (1-3), pp. 235-244, 2009)
15. Manfred Kudlek, Patrick Totzke
    On a Hierarchy of Multiset Automata
    (Proc. CS{\&}P 2009, eds. L. Czaja, M. Szczuka, vol 1, pp. 327-336, 2009)