We stand with Ukraine  

Rüdiger Valk

Affiliations:
  • University of Hamburg, Germany


According to our database1, Rüdiger Valk authored at least 48 papers between 1973 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Failure Resilience of Strongly Synchronized Processes.
[BibTeX]
[DOI]
Rüdiger Valk
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2025

2024
Modelling cooperating failure-resilient Processes.
[BibTeX]
[DOI]
Rüdiger Valk
CoRR, 2024

On reduction and parameter recovering of Petri's cycloids.
[BibTeX]
[DOI]
Rüdiger Valk
,
Daniel Moldt
CoRR, 2024

Analysing cycloids using linear algebra.
[BibTeX]
[DOI]
Rüdiger Valk
CoRR, 2024

2022
On Reduction of Cycloids.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Rüdiger Valk
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020
Circular Traffic Queues and Petri's Cycloids.
[BibTeX]
[DOI]
Rüdiger Valk
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019
Formal Properties of Petri's Cycloid Systems.
[BibTeX]
[DOI]
Rüdiger Valk
Fundam. Informaticae, 2019

On the Two Worlds of Carl Adam Petri's Nets.
[BibTeX]
[DOI]
Rüdiger Valk
Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018
On the Structure of Cycloids Introduced by Carl Adam Petri.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Claude Girault
,
Rüdiger Valk
Springer, ISBN: 978-3-540-41217-5, 2003

2001
Concurrency in Communicating Object Petri Nets.
[BibTeX]
[DOI]
Rüdiger Valk
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

2000
Mobile and Distributed Objects versus Central Referencing.
[BibTeX]
Rüdiger Valk
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

Object Oriented Petri Nets in Business Process Modeling.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Rüdiger Valk
Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997
Die Informatik zwischen Formal- und Humanwissenschaften.
[BibTeX]
[DOI]
Rüdiger Valk
Inform. Spektrum, 1997

1993
Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling.
[BibTeX]
[DOI]
Rüdiger Valk
Proceedings of the Application and Theory of Petri Nets 1993, 1993

1987
Safe States in Banker-like Resource Allocations Problems
[BibTeX]
[DOI]
Dirk Hauschildt
,
Rüdiger Valk
Inf. Comput., December, 1987

Der Computer als Herausforderung an die menschliche Rationalität.
[BibTeX]
Rüdiger Valk
Inform. Spektrum, 1987

Beherrschbarkeit von Systemen und Verantwortung des Informatikers.
[BibTeX]
Rüdiger Valk
Proceedings of the Schöbe Neue Computerwelt, 1987

Rechensysteme - Grundlagen der Modellbildung.
[BibTeX]
Eike Jessen
,
Rüdiger Valk
Studienreihe Informatik, Springer, ISBN: 978-0-387-16383-3, 1987

1986
Infinite Behaiour and Fairness.
[BibTeX]
[DOI]
Rüdiger Valk
Proceedings of the Petri Nets: Central Models and Their Properties, 1986

Nets in Computer Organisation.
[BibTeX]
[DOI]
Rüdiger Valk
Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1985
Safe states in banker like resource allocation problems.
[BibTeX]
[DOI]
Dirk Hauschildt
,
Rüdiger Valk
Proceedings of the Advances in Petri Nets 1985, 1985

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

The residue of vector sets with applications to decidability problems in Petri nets.
[BibTeX]
[DOI]
Rüdiger Valk
,
Matthias Jantzen
Proceedings of the Advances in Petri Nets 1984, 1984

Infinite behaviour and fairness in Petri nets.
[BibTeX]
[DOI]
Heino Carstensen
,
Rüdiger Valk
Proceedings of the Advances in Petri Nets 1984, 1984

1983
Infinite Behaviour of Petri Nets.
[BibTeX]
[DOI]
Rüdiger Valk
Theor. Comput. Sci., 1983

1981
Petri Nets and Regular Languages.
[BibTeX]
[DOI]
Rüdiger Valk
,
Guy Vidal-Naquet
J. Comput. Syst. Sci., 1981

Generalizations of Petri Nets.
[BibTeX]
[DOI]
Rüdiger Valk
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

Test on Zero in Petri Nets.
[BibTeX]
[DOI]
Rüdiger Valk
Proceedings of the Application and Theory of Petri Nets, 1981

Overview on Topic 5: Mathematical Analysis and Net Languages.
[BibTeX]
[DOI]
Otthein Herzog
,
Rüdiger Valk
Proceedings of the Application and Theory of Petri Nets, 1981

1979
On Reductions of Parallel Programs.
[BibTeX]
[DOI]
Wolfgang Kowalk
,
Rüdiger Valk
Proceedings of the Automata, 1979

Formal Properties of Place/Transition Nets.
[BibTeX]
[DOI]
Matthias Jantzen
,
Rüdiger Valk
Proceedings of the Net Theory and Applications, 1979

Reductions of Nets and Parallel Prgrams.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Rüdiger Valk
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Self-Modifying Nets, a Natural Extension of Petri Nets.
[BibTeX]
[DOI]
Rüdiger Valk
Proceedings of the Automata, 1978

1977
On the rationality of Petri net languages.
[BibTeX]
[DOI]
Rüdiger Valk
,
G. Vidal
Proceedings of the Theoretical Computer Science, 1977

1976
Minimal Machines with Several Initial States are Not Unique
[BibTeX]
[DOI]
Rüdiger Valk
Inf. Control., June, 1976

1975
On Some Elementary Properties of Uniform Automata.
[BibTeX]
[DOI]
Rüdiger Valk
RAIRO Theor. Informatics Appl., 1975

On the Synthesis of Automata with Several Initial States.
[BibTeX]
[DOI]
Rüdiger Valk
Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

Zur endlichen Approximierbarkeit sequentieller Systeme.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Rüdiger Valk
Proceedings of the 1. Fachtagung über Automatentheorie und Formale Sprachen, 1973


  Loading...