Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfuß

Project : Fundamental Algebraic Structures of Concurrency

Diese Seite ist auch in Deutsch verfügbar. 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)

Duration: since 1998

Keywords: Concurrency, event structures, iteration lemmata

Objectives:

Investigation of fundamental algebraic structures of concurrency as traces, process graphs, event structures, process algebra. For such iteration lemmata for rational, linear, and algebraic sets on such structures have been shown. Higher order object nets have been investigated for power and universality, and some new variants have been worked out. The power of probabilistic and quantum Petri nets has been considered, too.

Publications:

  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)

Last Change: 17:40 05/19/2011
Imprint/Disclaimer