Projekt
:
Fundamentale algebraische Strukturen der Nebenläufigkeit
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:
- 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)
- Manfred Kudlek
Iteration Lemmata for Certain Classes of Word, Trace and Graph Languages
(FI, vol. 37, pp. 413-422, 1999)
- Ludwik Czaja, Manfred Kudlek
Rational, Linear and Algebraic Process Languages
and Iteration Lemmata
(FI 43(1-4), pp. 49-60, 2000)
- 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)
- Ludwik Czaja, Manfred Kudlek
Processes in Place/Transition Nets, Process Languages and
Iteration Lemmata
(2000)
- 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)
- Ludwik Czaja, Manfred Kudlek
ω-Process Languages for Place/Transition Nets
(FI, vol 47 ( 3/4 ), pp. 219-227, 2001)
- 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)
- Berndt Farwer, Manfred Kudlek, Kundan Misra
Some Considerations on Higher Order Petri Nets
(FI, vol. 54 (2-3), pp. 185-193, 2003)
- 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)
- Berndt Farwer, Manfred Kudlek
A New Synchronization Model for Multi-Level Object Petri Nets
(FI, vol. 60 (1-4), pp. 131-142, 2004)
- 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)
- Manfred Kudlek
Sequentiality and Parallelity in Petri Nets
(Proceedings AWPN'2004, ed. E. Kindler,
Bericht tr-ri-04-251,
pp. 55-60, 2004)
- Manfred Kudlek
Probability in Petri Nets
(FI vol. 67 (1-3), pp. 121-130, 2005)
- Manfred Kudlek
On the Possibility of Quantum Vector Addition Systems
(Proceedings CS&P'05, ed. L. Czaja, pp. 291-298, 2005)
- 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)
- Manfred Kudlek
Hamblin's 15 Tense Theorem
(FBI-Bericht 269/06, 19 p., II 2006)
- Michael Köhler, Manfred Kudlek
Zero-safe Nets with Debit Tokens
(Proc. CS&P'2007, ed. L. Czaja, vol. 2, pp. 364-375, 2007)
- Manfred Kudlek
Multisets and Petri Nets - An Overview
(JCISS, vol. 33, no. 3-4, pp. 339-355, (2008)2009)
- 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)
- 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)
- Ludwik Czaja, Manfred Kudlek
Analysis and Synthesis of Net Structures and Transition Graphs
(FI, vol 93 (1-3), pp. 97-110, 2009)
- 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