Zur Hauptnavigation Zum Inhaltsbereich Zur Suche Zum Seitenfu├č


Proyecto : Estructuras Algebráicas Básicas de Concurrencia

Diese Seite ist auch in Deutsch verfügbar. This page is also available in English. Cette page existe aussi en Français. Această pagină este disponibilă şi în limba
                  Română


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

Duración: desde 1998

Palabras clave: Concurrencia, lemas de iteración

Destinos:

Publicaciones:

  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)

Último cambio: 17:40 19/05/2011
Pie de imprenta