| 2008 |
|---|
| 39 | | Kees M. van Hee,
Rüdiger Valk:
Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings
Springer 2008 |
| 2005 |
|---|
| 38 | EE | Michael Köhler,
Daniel Moldt,
Heiko Rölke,
Rüdiger Valk:
Linking Micro and Macro Description of Scalable Social Systems Using Reference Nets.
Socionics 2005: 51-67 |
| 2004 |
|---|
| 37 | EE | Olaf Kummer,
Frank Wienberg,
Michael Duvigneau,
Jörn Schumacher,
Michael Köhler,
Daniel Moldt,
Heiko Rölke,
Rüdiger Valk:
An Extensible Editor and Simulation Engine for Petri Nets: Renew.
ICATPN 2004: 484-493 |
| 2003 |
|---|
| 36 | EE | Rüdiger Valk:
Object Petri Nets: Using the Nets-within-Nets Paradigm.
Lectures on Concurrency and Petri Nets 2003: 819-848 |
| 2001 |
|---|
| 35 | EE | Rüdiger Valk:
Concurrency in Communicating Object Petri Nets.
Concurrent Object-Oriented Programming and Petri Nets 2001: 164-195 |
| 2000 |
|---|
| 34 | EE | Daniel Moldt,
Rüdiger Valk:
Object Oriented Petri Nets in Business Process Modeling.
Business Process Management 2000: 254-273 |
| 33 | | Rüdiger Valk:
Mobile and Distributed Objects versus Central Referencing.
FBT 2000: 7-27 |
| 1998 |
|---|
| 32 | EE | Rüdiger Valk:
Petri Nets as Token Objects: An Introduction to Elementary Object Nets.
ICATPN 1998: 1-25 |
| 1997 |
|---|
| 31 | | Christian Freksa,
Matthias Jantzen,
Rüdiger Valk:
Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday
Springer 1997 |
| 30 | | Rüdiger Valk:
Die Informatik zwischen Formal- und Humanwissenschaften.
Informatik Spektrum 20(2): 95-100 (1997) |
| 1993 |
|---|
| 29 | | Rüdiger Valk:
Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling.
Application and Theory of Petri Nets 1993: 433-452 |
| 1988 |
|---|
| 28 | | Rüdiger Valk:
GI - 18. Jahrestagung I, Vernetzte and komplexe Informatik-Systems, Hamburg, 17.-19. Oktober 1988, Proceedings
Springer 1988 |
| 27 | | Rüdiger Valk:
GI - 18. Jahrestagung II, Vernetzte and komplexe Informatik-Systems, Hamburg, 17.-19. Oktober 1988, Proceedings
Springer 1988 |
| 1987 |
|---|
| 26 | | Rüdiger Valk:
Beherrschbarkeit von Systemen und Verantwortung des Informatikers.
FIFF Jahrestagung 1987: 19-26 |
| 25 | | Dirk Hauschildt,
Rüdiger Valk:
Safe States in Banker-like Resource Allocations Problems
Inf. Comput. 75(3): 232-263 (1987) |
| 24 | | Rüdiger Valk:
Der Computer als Herausforderung an die menschliche Rationalität.
Informatik Spektrum 10(2): 57-66 (1987) |
| 1986 |
|---|
| 23 | | Rüdiger Valk:
Nets in Computer Organisation.
Advances in Petri Nets 1986: 218-233 |
| 22 | | Rüdiger Valk:
Infinite Behaiour and Fairness.
Advances in Petri Nets 1986: 377-396 |
| 1985 |
|---|
| 21 | | Dirk Hauschildt,
Rüdiger Valk:
Safe states in banker like resource allocation problems.
Applications and Theory in Petri Nets 1985: 253-277 |
| 20 | | Rüdiger Valk,
Matthias Jantzen:
The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets.
Acta Inf. 21: 643-674 (1985) |
| 1984 |
|---|
| 19 | | Rüdiger Valk,
Matthias Jantzen:
The residue of vector sets with applications to decidability problems in Petri nets.
European Workshop on Applications and Theory in Petri Nets 1984: 234-258 |
| 18 | | Heino Carstensen,
Rüdiger Valk:
Infinite behaviour and fairness in Petri nets.
European Workshop on Applications and Theory in Petri Nets 1984: 83-100 |
| 17 | | Otthein Herzog,
Wolfgang Reisig,
Rüdiger Valk:
Petri-Netze: ein Abriß ihrer Grundlagen und Anwendungen.
Informatik Spektrum 7(1): 20-27 (1984) |
| 1983 |
|---|
| 16 | | Rüdiger Valk:
Infinite Behaviour of Petri Nets.
Theor. Comput. Sci. 25: 311-341 (1983) |
| 1981 |
|---|
| 15 | | Rüdiger Valk:
Generalizations of Petri Nets.
MFCS 1981: 140-155 |
| 14 | | Otthein Herzog,
Rüdiger Valk:
Overview.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 154-160 |
| 13 | | Rüdiger Valk:
Test on Zero in Petri Nets.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 193-197 |
| 12 | | Rüdiger Valk,
Guy Vidal-Naquet:
Petri Nets and Regular Languages.
J. Comput. Syst. Sci. 23(3): 299-325 (1981) |
| 1979 |
|---|
| 11 | | Wolfgang Kowalk,
Rüdiger Valk:
On Reductions of Parallel Programs.
ICALP 1979: 356-369 |
| 1978 |
|---|
| 10 | | Rüdiger Valk:
Self-Modifying Nets, a Natural Extension of Petri Nets.
ICALP 1978: 464-476 |
| 9 | | Rüdiger Valk:
On the Computational Power of Extended Petri Nets.
MFCS 1978: 526-535 |
| 1977 |
|---|
| 8 | | Rüdiger Valk,
G. Vidal:
On the rationality of Petri net languages.
Theoretical Computer Science 1977: 319-328 |
| 1976 |
|---|
| 7 | | Rüdiger Valk:
Minimal Machines with Several Initial States are Not Unique
Information and Control 31(2): 193-196 (1976) |
| 1975 |
|---|
| 6 | | Matthias Jantzen,
Rüdiger Valk:
Formal Properties of Place/Transition Nets.
Advanced Course: Net Theory and Applications 1975: 165-212 |
| 5 | | Gérard Berthelot,
Gérard Roucairol,
Rüdiger Valk:
Reductions of Nets and Parallel Prgrams.
Advanced Course: Net Theory and Applications 1975: 277-290 |
| 4 | | Rüdiger Valk:
Zur endlichen Approximierbarkeit sequentieller Systeme.
Automata Theory and Formal Languages 1975: 64-70 |
| 3 | | Rüdiger Valk:
On the Synthesis of Automata with Several Initial States.
MFCS 1975: 439-444 |
| 2 | | Rüdiger Valk:
On Some Elementary Properties of Uniform Automata.
ITA 9(2): 39-54 (1975) |
| 1973 |
|---|
| 1 | | Rüdiger Valk:
The use of metric and uniform spaces for the formalization of behavioral proximity of states.
Automatentheorie und Formale Sprachen 1973: 116-122 |
