Rüdiger Valk

Publication Activity (10 Years)

Years Active: 1973-2024
Publications (10 Years): 7

Top Topics

Top Venues

Fundam. Informaticae

PNSE@Petri Nets

Publications

Rüdiger Valk, Daniel Moldt
On reduction and parameter recovering of Petri's cycloids. CoRR (2024)
Rüdiger Valk
Analysing cycloids using linear algebra. CoRR (2024)
Rüdiger Valk, Daniel Moldt
On Reduction of Cycloids. PNSE@Petri Nets (2022)
Rüdiger Valk
Deciphering the Co-Car Anomaly of Circular Traffic Queues Using Petri Nets. Petri Nets (2021)
Rüdiger Valk
Circular Traffic Queues and Petri's Cycloids. Petri Nets (2020)
Rüdiger Valk
Formal Properties of Petri's Cycloid Systems. Fundam. Informaticae 169 (1-2) (2019)
Rüdiger Valk
On the Structure of Cycloids Introduced by Carl Adam Petri. Petri Nets (2018)
Michael Köhler, Roman Langer, Rolf von Lüde, Daniel Moldt, Heiko Rölke, Rüdiger Valk
Socionic Multi-Agent Systems Based on Reflexive Petri Nets and Theories of Social Self-Organisation. J. Artif. Soc. Soc. Simul. 10 (1) (2007)
Joaquin Ezpeleta, Rüdiger Valk
A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems. IEEE Trans. Syst. Man Cybern. Part A 36 (6) (2006)
Michael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk
Linking Micro and Macro Description of Scalable Social Systems Using Reference Nets. Socionics (2005)
Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk
An Extensible Editor and Simulation Engine for Petri Nets: Renew. ICATPN (2004)
Rüdiger Valk
Object Petri Nets: Using the Nets-within-Nets Paradigm. Lectures on Concurrency and Petri Nets (2003)
Rüdiger Valk
Concurrency in Communicating Object Petri Nets. Concurrent Object-Oriented Programming and Petri Nets (2001)
Rüdiger Valk
Mobile and Distributed Objects versus Central Referencing. FBT (2000)
Daniel Moldt, Rüdiger Valk
Object Oriented Petri Nets in Business Process Modeling. Business Process Management (2000)
Rüdiger Valk
Petri Nets as Token Objects: An Introduction to Elementary Object Nets. ICATPN (1998)
Rüdiger Valk
Die Informatik zwischen Formal- und Humanwissenschaften. Inform. Spektrum 20 (2) (1997)
Rüdiger Valk
Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling. Application and Theory of Petri Nets (1993)
Rüdiger Valk
Der Computer als Herausforderung an die menschliche Rationalität. Inform. Spektrum 10 (2) (1987)
Dirk Hauschildt, Rüdiger Valk
Safe States in Banker-like Resource Allocations Problems Inf. Comput. 75 (3) (1987)
Rüdiger Valk
Beherrschbarkeit von Systemen und Verantwortung des Informatikers. FIFF Jahrestagung (1987)
Rüdiger Valk
Nets in Computer Organisation. Advances in Petri Nets (1986)
Rüdiger Valk
Infinite Behaiour and Fairness. Advances in Petri Nets (1986)
Dirk Hauschildt, Rüdiger Valk
Safe states in banker like resource allocation problems. Applications and Theory in Petri Nets (1985)
Rüdiger Valk, Matthias Jantzen
The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets. Acta Informatica 21 (1985)
Heino Carstensen, Rüdiger Valk
Infinite behaviour and fairness in Petri nets. European Workshop on Applications and Theory in Petri Nets (1984)
Otthein Herzog, Wolfgang Reisig, Rüdiger Valk
Petri-Netze: ein Abriß ihrer Grundlagen und Anwendungen. Inform. Spektrum 7 (1) (1984)
Rüdiger Valk, Matthias Jantzen
The residue of vector sets with applications to decidability problems in Petri nets. European Workshop on Applications and Theory in Petri Nets (1984)
Rüdiger Valk
Infinite Behaviour of Petri Nets. Theor. Comput. Sci. 25 (1983)
Rüdiger Valk
Test on Zero in Petri Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)
Otthein Herzog, Rüdiger Valk
Overview on Topic 5: Mathematical Analysis and Net Languages. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (1981)
Rüdiger Valk
Generalizations of Petri Nets. MFCS (1981)
Rüdiger Valk, Guy Vidal-Naquet
Petri Nets and Regular Languages. J. Comput. Syst. Sci. 23 (3) (1981)
Wolfgang Kowalk, Rüdiger Valk
On Reductions of Parallel Programs. ICALP (1979)
Gérard Berthelot, Gérard Roucairol, Rüdiger Valk
Reductions of Nets and Parallel Prgrams. Advanced Course: Net Theory and Applications (1979)
Matthias Jantzen, Rüdiger Valk
Formal Properties of Place/Transition Nets. Advanced Course: Net Theory and Applications (1979)
Rüdiger Valk
On the Computational Power of Extended Petri Nets. MFCS (1978)
Rüdiger Valk
Self-Modifying Nets, a Natural Extension of Petri Nets. ICALP (1978)
Rüdiger Valk, G. Vidal
On the rationality of Petri net languages. Theoretical Computer Science (1977)
Rüdiger Valk
Minimal Machines with Several Initial States are Not Unique Inf. Control. 31 (2) (1976)
Rüdiger Valk
On Some Elementary Properties of Uniform Automata. RAIRO Theor. Informatics Appl. 9 (2) (1975)
Rüdiger Valk
Zur endlichen Approximierbarkeit sequentieller Systeme. Automata Theory and Formal Languages (1975)
Rüdiger Valk
On the Synthesis of Automata with Several Initial States. MFCS (1975)
Rüdiger Valk
The use of metric and uniform spaces for the formalization of behavioral proximity of states. Automatentheorie und Formale Sprachen (1973)