Rüdiger Valk

According to our database, Rüdiger Valk authored at least 45 papers between 1973 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Analysing cycloids using linear algebra.

Rüdiger Valk

CoRR, 2024

2022

On Reduction of Cycloids.

Rüdiger Valk, Daniel Moldt

Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022

2021

Deciphering the Co-Car Anomaly of Circular Traffic Queues Using Petri Nets.

Rüdiger Valk

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020

Circular Traffic Queues and Petri's Cycloids.

Rüdiger Valk

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

Formal Properties of Petri's Cycloid Systems.

Rüdiger Valk

Fundam. Informaticae, 2019

On the Two Worlds of Carl Adam Petri's Nets.

Rüdiger Valk

Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018

On the Structure of Cycloids Introduced by Carl Adam Petri.

Rüdiger Valk

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2007

Socionic Multi-Agent Systems Based on Reflexive Petri Nets and Theories of Social Self-Organisation.

Michael Köhler, Roman Langer, Rolf von Lüde, Daniel Moldt, Heiko Rölke, Rüdiger Valk

J. Artif. Soc. Soc. Simul., 2007

2006

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

2005

Linking Micro and Macro Description of Scalable Social Systems Using Reference Nets.

Michael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk

Proceedings of the Socionics - Scalability of Complex Social Systems, 2005

2004

An Extensible Editor and Simulation Engine for Petri Nets: Renew.

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

Object Petri Nets: Using the Nets-within-Nets Paradigm.

Rüdiger Valk

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

Petri nets for systems engineering - a guide to modeling, verification, and applications.

Claude Girault, Rüdiger Valk

Springer, ISBN: 978-3-540-41217-5, 2003

2001

Concurrency in Communicating Object Petri Nets.

Rüdiger Valk

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

2000

Mobile and Distributed Objects versus Central Referencing.

Rüdiger Valk

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

Object Oriented Petri Nets in Business Process Modeling.

Daniel Moldt, Rüdiger Valk

Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies, 2000

1998

Petri Nets as Token Objects: An Introduction to Elementary Object Nets.

Rüdiger Valk

Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997

Die Informatik zwischen Formal- und Humanwissenschaften.

Rüdiger Valk

Inform. Spektrum, 1997

1993

Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling.

Rüdiger Valk

Proceedings of the Application and Theory of Petri Nets 1993, 1993

1987

Safe States in Banker-like Resource Allocations Problems

Dirk Hauschildt, Rüdiger Valk

Inf. Comput., December, 1987

Der Computer als Herausforderung an die menschliche Rationalität.

Rüdiger Valk

Inform. Spektrum, 1987

Beherrschbarkeit von Systemen und Verantwortung des Informatikers.

Rüdiger Valk

Proceedings of the Schöbe Neue Computerwelt, 1987

Rechensysteme - Grundlagen der Modellbildung.

Eike Jessen, Rüdiger Valk

Studienreihe Informatik, Springer, ISBN: 978-0-387-16383-3, 1987

1986

Infinite Behaiour and Fairness.

Rüdiger Valk

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

Nets in Computer Organisation.

Rüdiger Valk

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1985

The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets.

Rüdiger Valk, Matthias Jantzen

Acta Informatica, 1985

Safe states in banker like resource allocation problems.

Dirk Hauschildt, Rüdiger Valk

Proceedings of the Advances in Petri Nets 1985, 1985

1984

Petri-Netze: ein Abriß ihrer Grundlagen und Anwendungen.

Otthein Herzog, Wolfgang Reisig, Rüdiger Valk

Inform. Spektrum, 1984

Infinite behaviour and fairness in Petri nets.

Heino Carstensen, Rüdiger Valk

Proceedings of the Advances in Petri Nets 1984, 1984

1983

Infinite Behaviour of Petri Nets.

Rüdiger Valk

Theor. Comput. Sci., 1983

1981

Petri Nets and Regular Languages.

Rüdiger Valk, Guy Vidal-Naquet

J. Comput. Syst. Sci., 1981

Generalizations of Petri Nets.

Rüdiger Valk

Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

Test on Zero in Petri Nets.

Rüdiger Valk

Proceedings of the Application and Theory of Petri Nets, 1981

Overview on Topic 5: Mathematical Analysis and Net Languages.

Otthein Herzog, Rüdiger Valk

Proceedings of the Application and Theory of Petri Nets, 1981

1979

On Reductions of Parallel Programs.

Wolfgang Kowalk, Rüdiger Valk

Proceedings of the Automata, 1979

Formal Properties of Place/Transition Nets.

Matthias Jantzen, Rüdiger Valk

Proceedings of the Net Theory and Applications, 1979

Reductions of Nets and Parallel Prgrams.

Gérard Berthelot, Gérard Roucairol, Rüdiger Valk

Proceedings of the Net Theory and Applications, 1979

1978

On the Computational Power of Extended Petri Nets.

Rüdiger Valk

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Self-Modifying Nets, a Natural Extension of Petri Nets.

Rüdiger Valk

Proceedings of the Automata, 1978

1977

On the rationality of Petri net languages.

Rüdiger Valk, G. Vidal

Proceedings of the Theoretical Computer Science, 1977

1976

Minimal Machines with Several Initial States are Not Unique

Rüdiger Valk

Inf. Control., June, 1976

1975

On Some Elementary Properties of Uniform Automata.

Rüdiger Valk

RAIRO Theor. Informatics Appl., 1975

On the Synthesis of Automata with Several Initial States.

Rüdiger Valk

Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

Zur endlichen Approximierbarkeit sequentieller Systeme.

Rüdiger Valk

Proceedings of the Automata Theory and Formal Languages, 1975

1973

The use of metric and uniform spaces for the formalization of behavioral proximity of states.

Rüdiger Valk

Proceedings of the 1. Fachtagung über Automatentheorie und Formale Sprachen, 1973