The use of metric and uniform spaces for the formalization of behavioral proximity of states. - Rüdiger Valk (Automatentheorie und Formale Sprachen, 1973)

Zur endlichen Approximierbarkeit sequentieller Systeme. - Rüdiger Valk (Automata Theory and Formal Languages, 1975)

On the Synthesis of Automata with Several Initial States. - Rüdiger Valk (MFCS, 1975)

On Some Elementary Properties of Uniform Automata. - Rüdiger Valk (RAIRO Theor. Informatics Appl., 1975)

Minimal Machines with Several Initial States are Not Unique - Rüdiger Valk (Inf. Control., 1976)

On the rationality of Petri net languages. - Rüdiger Valk; G. Vidal (Theoretical Computer Science, 1977)

Self-Modifying Nets, a Natural Extension of Petri Nets. - Rüdiger Valk (ICALP, 1978)

On the Computational Power of Extended Petri Nets. - Rüdiger Valk (MFCS, 1978)

Reductions of Nets and Parallel Prgrams. - Gérard Berthelot; Gérard Roucairol; Rüdiger Valk (Advanced Course: Net Theory and Applications, 1979)

Formal Properties of Place/Transition Nets. - Matthias Jantzen; Rüdiger Valk (Advanced Course: Net Theory and Applications, 1979)

On Reductions of Parallel Programs. - Wolfgang Kowalk; Rüdiger Valk (ICALP, 1979)

Overview on Topic 5: Mathematical Analysis and Net Languages. - Otthein Herzog; Rüdiger Valk (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Test on Zero in Petri Nets. - Rüdiger Valk (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Generalizations of Petri Nets. - Rüdiger Valk (MFCS, 1981)

Petri Nets and Regular Languages. - Rüdiger Valk; Guy Vidal-Naquet (J. Comput. Syst. Sci., 1981)

Infinite Behaviour of Petri Nets. - Rüdiger Valk (Theor. Comput. Sci., 1983)

Infinite behaviour and fairness in Petri nets. - Heino Carstensen; Rüdiger Valk (European Workshop on Applications and Theory in Petri Nets, 1984)

Petri-Netze: ein Abriß ihrer Grundlagen und Anwendungen. - Otthein Herzog; Wolfgang Reisig; Rüdiger Valk (Inform. Spektrum, 1984)

Safe states in banker like resource allocation problems. - Dirk Hauschildt; Rüdiger Valk (Applications and Theory in Petri Nets, 1985)

The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets. - Rüdiger Valk; Matthias Jantzen (Acta Informatica, 1985)

Nets in Computer Organisation. - Rüdiger Valk (Advances in Petri Nets, 1986)

Infinite Behaiour and Fairness. - Rüdiger Valk (Advances in Petri Nets, 1986)

Rechensysteme - Grundlagen der Modellbildung. - Eike Jessen; Rüdiger Valk (Springer, 1987)

Beherrschbarkeit von Systemen und Verantwortung des Informatikers. - Rüdiger Valk (FIFF Jahrestagung, 1987)

Der Computer als Herausforderung an die menschliche Rationalität. - Rüdiger Valk (Inform. Spektrum, 1987)

Safe States in Banker-like Resource Allocations Problems - Dirk Hauschildt; Rüdiger Valk (Inf. Comput., 1987)

Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling. - Rüdiger Valk (Application and Theory of Petri Nets, 1993)

Die Informatik zwischen Formal- und Humanwissenschaften. - Rüdiger Valk (Inform. Spektrum, 1997)

Petri Nets as Token Objects: An Introduction to Elementary Object Nets. - Rüdiger Valk (ICATPN, 1998)

Object Oriented Petri Nets in Business Process Modeling. - Daniel Moldt; Rüdiger Valk (Business Process Management, 2000)

Mobile and Distributed Objects versus Central Referencing. - Rüdiger Valk (FBT, 2000)

Concurrency in Communicating Object Petri Nets. - Rüdiger Valk (Concurrent Object-Oriented Programming and Petri Nets, 2001)

Petri nets for systems engineering - a guide to modeling, verification, and applications. - Claude Girault; Rüdiger Valk (Springer, 2003)

Object Petri Nets: Using the Nets-within-Nets Paradigm. - Rüdiger Valk (Lectures on Concurrency and Petri Nets, 2003)

An Extensible Editor and Simulation Engine for Petri Nets: Renew. - Olaf Kummer; Frank Wienberg; Michael Duvigneau; Jörn Schumacher; Michael Köhler 001; Daniel Moldt; Heiko Rölke; Rüdiger Valk (ICATPN, 2004)

Linking Micro and Macro Description of Scalable Social Systems Using Reference Nets. - Michael Köhler 001; Daniel Moldt; Heiko Rölke; Rüdiger Valk (Socionics, 2005)

A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems. - Joaquin Ezpeleta; Rüdiger Valk (IEEE Trans. Syst. Man Cybern. Part A, 2006)

Socionic Multi-Agent Systems Based on Reflexive Petri Nets and Theories of Social Self-Organisation. - Michael Köhler 001; Roman Langer; Rolf von Lüde; Daniel Moldt; Heiko Rölke; Rüdiger Valk (J. Artif. Soc. Soc. Simul., 2007)

On the Structure of Cycloids Introduced by Carl Adam Petri. - Rüdiger Valk (Petri Nets, 2018)

On the Two Worlds of Carl Adam Petri's Nets. - Rüdiger Valk (Carl Adam Petri: Ideas, Personality, Impact, 2019)

Formal Properties of Petri's Cycloid Systems. - Rüdiger Valk (Fundam. Informaticae, 2019)

Circular Traffic Queues and Petri's Cycloids. - Rüdiger Valk (Petri Nets, 2020)

Deciphering the Co-Car Anomaly of Circular Traffic Queues Using Petri Nets. - Rüdiger Valk (Petri Nets, 2021)

On Reduction of Cycloids. - Rüdiger Valk; Daniel Moldt (PNSE@Petri Nets, 2022)

Analysing cycloids using linear algebra. - Rüdiger Valk (CoRR, 2024)

On reduction and parameter recovering of Petri's cycloids. - Rüdiger Valk; Daniel Moldt (CoRR, 2024)

Modelling cooperating failure-resilient Processes. - Rüdiger Valk (CoRR, 2024)

Failure Resilience of Strongly Synchronized Processes. - Rüdiger Valk (Petri Nets, 2025)