Rüdiger Valk

According to our database1, Rüdiger Valk
  • authored at least 39 papers between 1973 and 2007.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2007
Socionic Multi-Agent Systems Based on Reflexive Petri Nets and Theories of Social Self-Organisation.
J. Artificial Societies and Social Simulation, 2007

2006
A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems.
IEEE Trans. Systems, Man, and Cybernetics, 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.
Informatik 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.
Informatik 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 Inf., 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.
Informatik Spektrum, 1984

The residue of vector sets with applications to decidability problems in Petri nets.
Proceedings of the Advances in Petri Nets 1984, 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
Information and Control, June, 1976

1975
On Some Elementary Properties of Uniform Automata.
ITA, 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...