Rüdiger Valk

Affiliations:
  • University of Hamburg, Germany


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Modelling cooperating failure-resilient Processes.
CoRR, 2024

On reduction and parameter recovering of Petri's cycloids.
CoRR, 2024

Analysing cycloids using linear algebra.
CoRR, 2024

2022
On Reduction of Cycloids.
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.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020
Circular Traffic Queues and Petri's Cycloids.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019
Formal Properties of Petri's Cycloid Systems.
Fundam. Informaticae, 2019

On the Two Worlds of Carl Adam Petri's Nets.
Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018
On the Structure of Cycloids Introduced by Carl Adam Petri.
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.
J. Artif. Soc. Soc. Simul., 2007

2006
A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems.
IEEE Trans. Syst. Man Cybern. Part A, 2006

2005
Linking Micro and Macro Description of Scalable Social Systems Using Reference Nets.
Proceedings of the Socionics - Scalability of Complex Social Systems, 2005

2004
An Extensible Editor and Simulation Engine for Petri Nets: Renew.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003
Object Petri Nets: Using the Nets-within-Nets Paradigm.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

Petri nets for systems engineering - a guide to modeling, verification, and applications.
Springer, ISBN: 978-3-540-41217-5, 2003

2001
Concurrency in Communicating Object Petri Nets.
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

2000
Mobile and Distributed Objects versus Central Referencing.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

Object Oriented Petri Nets in Business Process Modeling.
Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies, 2000

1998
Petri Nets as Token Objects: An Introduction to Elementary Object Nets.
Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997
Die Informatik zwischen Formal- und Humanwissenschaften.
Inform. Spektrum, 1997

1993
Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling.
Proceedings of the Application and Theory of Petri Nets 1993, 1993

1987
Safe States in Banker-like Resource Allocations Problems
Inf. Comput., December, 1987

Der Computer als Herausforderung an die menschliche Rationalität.
Inform. Spektrum, 1987

Beherrschbarkeit von Systemen und Verantwortung des Informatikers.
Proceedings of the Schöbe Neue Computerwelt, 1987

Rechensysteme - Grundlagen der Modellbildung.
Studienreihe Informatik, Springer, ISBN: 978-0-387-16383-3, 1987

1986
Infinite Behaiour and Fairness.
Proceedings of the Petri Nets: Central Models and Their Properties, 1986

Nets in Computer Organisation.
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.
Acta Informatica, 1985

Safe states in banker like resource allocation problems.
Proceedings of the Advances in Petri Nets 1985, 1985

1984
Petri-Netze: ein Abriß ihrer Grundlagen und Anwendungen.
Inform. Spektrum, 1984

Infinite behaviour and fairness in Petri nets.
Proceedings of the Advances in Petri Nets 1984, 1984

1983
Infinite Behaviour of Petri Nets.
Theor. Comput. Sci., 1983

1981
Petri Nets and Regular Languages.
J. Comput. Syst. Sci., 1981

Generalizations of Petri Nets.
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

Test on Zero in Petri Nets.
Proceedings of the Application and Theory of Petri Nets, 1981

Overview on Topic 5: Mathematical Analysis and Net Languages.
Proceedings of the Application and Theory of Petri Nets, 1981

1979
On Reductions of Parallel Programs.
Proceedings of the Automata, 1979

Formal Properties of Place/Transition Nets.
Proceedings of the Net Theory and Applications, 1979

Reductions of Nets and Parallel Prgrams.
Proceedings of the Net Theory and Applications, 1979

1978
On the Computational Power of Extended Petri Nets.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Self-Modifying Nets, a Natural Extension of Petri Nets.
Proceedings of the Automata, 1978

1977
On the rationality of Petri net languages.
Proceedings of the Theoretical Computer Science, 1977

1976
Minimal Machines with Several Initial States are Not Unique
Inf. Control., June, 1976

1975
On Some Elementary Properties of Uniform Automata.
RAIRO Theor. Informatics Appl., 1975

On the Synthesis of Automata with Several Initial States.
Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

Zur endlichen Approximierbarkeit sequentieller Systeme.
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.
Proceedings of the 1. Fachtagung über Automatentheorie und Formale Sprachen, 1973


  Loading...