Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß


Projekt : Fundamentale algebraische Strukturen der Nebenläufigkeit

This page is also available in English. Cette page existe aussi en Français. Ésta página también existe en Español. Această pagină este disponibilă şi în limba
                  Română


Prof. Dr. Kudlek, Professor
Prof. Dr. Ludwik Czaja (Warszawa)

Laufzeit: seit 1998

Schlagworte: Nebenläufigkeit; Ereignisstrukturen; Iterationslemmata

Ziele:

Untersuchung fundamentaler algebraischer Strukturen der Nebenläufigkeit wie Traces, Prozessgraphen, Ereignisstrukturen, Prozessalgebra. Dazu wurden Iterationslemmata für rationale, lineare und algebraische Mengen auf solchen Strukturen bewiesen. Ferner wurden Objektnetze höherer Ordnung auf Mächtigkeit und Universalität untersucht und einige neue Varianten erarbeitet. Außerdem wurde die Mächtigkeit von probabilistischen und Quanten-Petrinetzen untersucht.

Publikationen:

  1. Manfred Kudlek
    Iteration Lemmata for Certain Classes of Word and Trace Languages, and Process Algebras
    (Proceedings of CS&P'98, ed. L. Czaja, P. Starke, Berlin, 1998)
  2. Manfred Kudlek
    Iteration Lemmata for Certain Classes of Word, Trace and Graph Languages
    (FI, vol. 37, pp. 413-422, 1999)
  3. Ludwik Czaja, Manfred Kudlek
    Rational, Linear and Algebraic Process Languages and Iteration Lemmata
    (FI 43(1-4), pp. 49-60, 2000)
  4. Ludwik Czaja, Manfred Kudlek
    Lematy iteracyjni dla równościowo definiowalnych języków procesów
    (Materiały z konferencji Informatika Teoretyczna: Metody analizy informacji niekompletnej i rozproszenej, Białystok, pp. 8-23, 2000)
  5. Ludwik Czaja, Manfred Kudlek
    Processes in Place/Transition Nets, Process Languages and Iteration Lemmata
    (2000)
  6. Ludwik Czaja, Manfred Kudlek
    ω-Process Languages for Place/Transition Nets
    (Proceedings of CS&P'2000, ed. H.-D. Burkhard, L. Czaja, A. Skowron, P. Starke, pp. 41-52, 2000)
  7. Ludwik Czaja, Manfred Kudlek
    ω-Process Languages for Place/Transition Nets
    (FI, vol 47 ( 3/4 ), pp. 219-227, 2001)
  8. Berndt Farwer, Manfred Kudlek, Kundan Misra
    Some Considerations on Higher Order Petri Nets
    (Proceedings of CS&P'2002, eds. H.-D. Burkhard, L. Czaja, A. Skowron, P. Starke, pp. 129-142, 2002)
  9. Berndt Farwer, Manfred Kudlek, Kundan Misra
    Some Considerations on Higher Order Petri Nets
    (FI, vol. 54 (2-3), pp. 185-193, 2003)
  10. Berndt Farwer, Manfred Kudlek
    On Synchronization in Multilevel Object Petri Nets: towards Universal Petri Nets
    (Proc. of CS&P'2003, ed. L. Czaja, Warsaw University, pp. 150-156, 2003)
  11. Berndt Farwer, Manfred Kudlek
    A New Synchronization Model for Multi-Level Object Petri Nets
    (FI, vol. 60 (1-4), pp. 131-142, 2004)
  12. Manfred Kudlek
    On Probabilistic Petri Nets
    (Proceedings of CS&P'2004, eds. G. Lindemann, H.-D. Burkhard, L. Czaja, A. Skowron, H. Schlingloff, Z. Suraj, Humboldt-Universität zu Berlin, Informatik-Bericht Nr. 170, vol. 1, pp. 63-68, 2004)
  13. Manfred Kudlek
    Sequentiality and Parallelity in Petri Nets
    (Proceedings AWPN'2004, ed. E. Kindler, Bericht tr-ri-04-251, pp. 55-60, 2004)
  14. Manfred Kudlek
    Probability in Petri Nets
    (FI vol. 67 (1-3), pp. 121-130, 2005)
  15. Manfred Kudlek
    On the Possibility of Quantum Vector Addition Systems
    (Proceedings CS&P'05, ed. L. Czaja, pp. 291-298, 2005)
  16. Manfred Kudlek
    Sequentiality, Parallelism, and Maximality in Petri Nets
    (FBI-Bericht 265, Object Petri Nets, Processes, and Object Calculi, eds. B. Farwer, D. Moldt, pp. 43-50, VIII 2005)
  17. Manfred Kudlek
    Hamblin's 15 Tense Theorem
    (FBI-Bericht 269/06, 19 p., II 2006)
  18. Michael Köhler, Manfred Kudlek
    Zero-safe Nets with Debit Tokens
    (Proc. CS&P'2007, ed. L. Czaja, vol. 2, pp. 364-375, 2007)
  19. Manfred Kudlek
    Multisets and Petri Nets - An Overview
    (JCISS, vol. 33, no. 3-4, pp. 339-355, (2008)2009)
  20. Michael Köhler-Bußmeier, Manfred Kudlek
    Linear Properties of Zero-safe Nets with Debit Tokens
    (FI, vol. 85 (1-4), pp. 329-342, 2008)
  21. Ludwik Czaja, Manfred Kudlek
    Synthesis and Analysis of Net Structures and Transition Graphs
    (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 1, pp. 93-107, 2008)
  22. Ludwik Czaja, Manfred Kudlek
    Analysis and Synthesis of Net Structures and Transition Graphs
    (FI, vol 93 (1-3), pp. 97-110, 2009)
  23. Ludwik Czaja, Manfred Kudlek
    On Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations
    (Proc. CS{\&}P 2009, eds. L. Czaja, M. Szczuka, vol 1, pp. 127-133, 2009)

Letzte Änderung: 17:40 19.05.2011
Impressum