Rüdiger Valk

Kees M. van Hee, Rüdiger Valk (Eds.): Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings. Lecture Notes in Computer Science 5062, Springer 2008, isbn 978-3-540-68745-0

Michael Köhler, Roman Langer, Rolf von Lüde, Daniel Moldt, Heiko Rölke, Rüdiger Valk: Socionic Multi-Agent Systems Based on Reflexive Petri Nets and Theories of Social Self-Organisation. J. Artificial Societies and Social Simulation 10(1) (2007)

Joaquin Ezpeleta, Rüdiger Valk: A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 36(6): 1234-1243 (2006)

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

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

Claude Girault, Rüdiger Valk: Petri nets for systems engineering - a guide to modeling, verification, and applications. Springer 2003, isbn 978-3-540-41217-5, pp. I-XVI, 1-607

Rüdiger Valk: Object Petri Nets: Using the Nets-within-Nets Paradigm. Lectures on Concurrency and Petri Nets 2003: 819-848

Rüdiger Valk: Concurrency in Communicating Object Petri Nets. Concurrent Object-Oriented Programming and Petri Nets 2001: 164-195

Daniel Moldt, Rüdiger Valk: Object Oriented Petri Nets in Business Process Modeling. Business Process Management 2000: 254-273

Rüdiger Valk: Mobile and Distributed Objects versus Central Referencing. FBT 2000: 7-27

Rüdiger Valk: Petri Nets as Token Objects: An Introduction to Elementary Object Nets. ICATPN 1998: 1-25

Rüdiger Valk: Die Informatik zwischen Formal- und Humanwissenschaften. Informatik Spektrum 20(2): 95-100 (1997)

Christian Freksa, Matthias Jantzen, Rüdiger Valk (Eds.): Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday. Lecture Notes in Computer Science 1337, Springer 1997, isbn 3-540-63746-X

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

Rüdiger Valk (Ed.): GI - 18. Jahrestagung I, Vernetzte and komplexe Informatik-Systems, Hamburg, 17.-19. Oktober 1988, Proceedings. Informatik-Fachberichte 187, Springer 1988, isbn 3-540-50354-4

Rüdiger Valk (Ed.): GI - 18. Jahrestagung II, Vernetzte and komplexe Informatik-Systems, Hamburg, 17.-19. Oktober 1988, Proceedings. Informatik-Fachberichte 188, Springer 1988, isbn 3-540-50360-9

Eike Jessen, Rüdiger Valk: Rechensysteme - Grundlagen der Modellbildung. Studienreihe Informatik, Springer 1987, isbn 978-0-387-16383-3, pp. I-XVI, 1-562

Dirk Hauschildt, Rüdiger Valk: Safe States in Banker-like Resource Allocations Problems. Inf. Comput. 75(3): 232-263 (1987)

Rüdiger Valk: Der Computer als Herausforderung an die menschliche Rationalität. Informatik Spektrum 10(2): 57-66 (1987)

Rüdiger Valk: Beherrschbarkeit von Systemen und Verantwortung des Informatikers. FIFF Jahrestagung 1987: 19-26

Rüdiger Valk: Nets in Computer Organisation. Advances in Petri Nets 1986: 218-233

Rüdiger Valk: Infinite Behaiour and Fairness. Advances in Petri Nets 1986: 377-396

Rüdiger Valk, Matthias Jantzen: The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets. Acta Inf. 21: 643-674 (1985)

Dirk Hauschildt, Rüdiger Valk: Safe states in banker like resource allocation problems. Applications and Theory in Petri Nets 1985: 253-277

Otthein Herzog, Wolfgang Reisig, Rüdiger Valk: Petri-Netze: ein Abriß ihrer Grundlagen und Anwendungen. Informatik Spektrum 7(1): 20-27 (1984)

Heino Carstensen, Rüdiger Valk: Infinite behaviour and fairness in Petri nets. European Workshop on Applications and Theory in Petri Nets 1984: 83-100

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

Rüdiger Valk: Infinite Behaviour of Petri Nets. Theor. Comput. Sci. 25: 311-341 (1983)

Rüdiger Valk, Guy Vidal-Naquet: Petri Nets and Regular Languages. J. Comput. Syst. Sci. 23(3): 299-325 (1981)

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

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

Rüdiger Valk: Generalizations of Petri Nets. MFCS 1981: 140-155

Wolfgang Kowalk, Rüdiger Valk: On Reductions of Parallel Programs. ICALP 1979: 356-369

Rüdiger Valk: Self-Modifying Nets, a Natural Extension of Petri Nets. ICALP 1978: 464-476

Rüdiger Valk: On the Computational Power of Extended Petri Nets. MFCS 1978: 526-535

Rüdiger Valk, G. Vidal: On the rationality of Petri net languages. Theoretical Computer Science 1977: 319-328

Rüdiger Valk: Minimal Machines with Several Initial States are Not Unique. Information and Control 31(2): 193-196 (1976)

Rüdiger Valk: On Some Elementary Properties of Uniform Automata. ITA 9(2): 39-54 (1975)

Matthias Jantzen, Rüdiger Valk: Formal Properties of Place/Transition Nets. Advanced Course: Net Theory and Applications 1975: 165-212

Gérard Berthelot, Gérard Roucairol, Rüdiger Valk: Reductions of Nets and Parallel Prgrams. Advanced Course: Net Theory and Applications 1975: 277-290

Rüdiger Valk: Zur endlichen Approximierbarkeit sequentieller Systeme. Automata Theory and Formal Languages 1975: 64-70

Rüdiger Valk: On the Synthesis of Automata with Several Initial States. MFCS 1975: 439-444

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