Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfu├č


Proiect: Modelele Automatelor Concurente

Diese Seite ist auch in Deutsch verfügbar. This page is also available in English. Cette page existe aussi en Français. Versión Español.


Prof. Dr. Jantzen,
Prof. Dr. Kudlek,
Dr. Berndt Farwer ,
Dr. Heiko Rölke,
Patrick Totzke, Student
Georg Zetzsche,

Durată: Lansat în 2006

Cuvinte cheie: Reţele Petri, tipuri de automate, concurenţă.

Obiective:

Proiectul este construit pe ideea folosirii reţelelor Petri pentru controlul finit al comenzii tipurilor de automate. Reţelele înlocuiesc de altfel obişnuitele automate finite. Deosebit la automatele nou definite este că ele pot funcţiona concurent.

Ca prim model este definită o maşină Turing concurentă (CTM). Aceasta este echivalentă cu o maşină Turing obişnuită, dovedeşte însă pentru anumite probleme o complexitate mai bună.

În momentul de faţă se lucrează la un automat finit concurent (CFA). CFA este mai puternic decăt un automat finit. CFA poate acepta limbaje dependente de context. Mulţimea limbajelor acceptate de FCA are acceaşi mărime ca mulţimea limbajelor acceptate de reţelele Petri.

Publicaţii:

  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)

Ultima actualizare: 17:40 19-05-2011
Impressum