TGI

Education

Misc

• Petri Nets World
  

Proiect: Structuri Algebrice Fundamentale de Concurenţă

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

Durată: Lansat în 1998

Cuvinte cheie: Concurenţă

Obiective:

Publicaţii:

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)