Rüdiger Valk - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 44 from 44

2022

On Reduction of CycloidsRüdiger Valk, Daniel Moldt. apn 2022: 99-118 [doi]

2021

Deciphering the Co-Car Anomaly of Circular Traffic Queues Using Petri NetsRüdiger Valk. apn 2021: 443-462 [doi]

2020

Circular Traffic Queues and Petri's CycloidsRüdiger Valk. apn 2020: 176-195 [doi]

2019

On the Two Worlds of Carl Adam Petri's NetsRüdiger Valk. In Wolfgang Reisig, Grzegorz Rozenberg, editors, Carl Adam Petri: Ideas, Personality, Impact. pages 37-44, Springer, 2019. [doi]

Formal Properties of Petri's Cycloid SystemsRüdiger Valk. FUIN, 169(1-2):85-121, 2019. [doi]

2018

On the Structure of Cycloids Introduced by Carl Adam PetriRüdiger Valk. apn 2018: 294-314 [doi]

2007

Socionic Multi-Agent Systems Based on Reflexive Petri Nets and Theories of Social Self-OrganisationMichael Köhler, Roman Langer, Rolf von Lüde, Daniel Moldt, Heiko Rölke, Rüdiger Valk. jasss, 10(1), 2007. [doi]

2005

Linking Micro and Macro Description of Scalable Social Systems Using Reference NetsMichael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk. dfki 2005: 51-67 [doi]

2004

An Extensible Editor and Simulation Engine for Petri Nets: RenewOlaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk. apn 2004: 484-493 [doi]

2003

Petri nets for systems engineering - a guide to modeling, verification, and applicationsClaude Girault, Rüdiger Valk. Springer, 2003. [doi]

Object Petri Nets: Using the Nets-within-Nets ParadigmRüdiger Valk. ac 2004: 819-848 [doi]

2001

Concurrency in Communicating Object Petri NetsRüdiger Valk. cooppn 2001: 164-195 [doi]

2000

Object Oriented Petri Nets in Business Process ModelingDaniel Moldt, Rüdiger Valk. BPM 2000: 254-273 [doi]

Mobile and Distributed Objects versus Central ReferencingRüdiger Valk. fbt 2000: 7-27

1998

Petri Nets as Token Objects: An Introduction to Elementary Object NetsRüdiger Valk. apn 1998: 1-25 [doi]

1997

Die Informatik zwischen Formal- und HumanwissenschaftenRüdiger Valk. insk, 20(2):95-100, 1997.

1993

Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive SchedulingRüdiger Valk. apn 1993: 433-452

1987

Safe States in Banker-like Resource Allocations ProblemsDirk Hauschildt, Rüdiger Valk. iandc, 75(3):232-263, December 1987.

Rechensysteme - Grundlagen der ModellbildungEike Jessen, Rüdiger Valk. Studienreihe Informatik, Springer, 1987.

Beherrschbarkeit von Systemen und Verantwortung des InformatikersRüdiger Valk. fiff 1988: 19-26

Der Computer als Herausforderung an die menschliche RationalitätRüdiger Valk. insk, 10(2):57-66, 1987.

1986

Nets in Computer OrganisationRüdiger Valk. ac 1987: 218-233

Infinite Behaiour and FairnessRüdiger Valk. ac 1987: 377-396

1985

Safe states in banker like resource allocation problemsDirk Hauschildt, Rüdiger Valk. apn 1986: 253-277

The Residue of Vector Sets with Applications to Decidability Problems in Petri NetsRüdiger Valk, Matthias Jantzen. ACTA, 21:643-674, 1985.

1984

Infinite behaviour and fairness in Petri netsHeino Carstensen, Rüdiger Valk. apn 1985: 83-100

Petri-Netze: ein Abriß ihrer Grundlagen und AnwendungenOtthein Herzog, Wolfgang Reisig, Rüdiger Valk. insk, 7(1):20-27, 1984.

The residue of vector sets with applications to decidability problems in Petri netsRüdiger Valk, Matthias Jantzen. apn 1985: 234-258

1983

Infinite Behaviour of Petri NetsRüdiger Valk. TCS, 25:311-341, 1983.

1981

OverviewOtthein Herzog, Rüdiger Valk. apn 1982: 154-160

Petri Nets and Regular LanguagesRüdiger Valk, Guy Vidal-Naquet. jcss, 23(3):299-325, 1981.

Test on Zero in Petri NetsRüdiger Valk. apn 1982: 193-197

Generalizations of Petri NetsRüdiger Valk. mfcs 1981: 140-155

1979

On Reductions of Parallel ProgramsWolfgang Kowalk, Rüdiger Valk. icalp 1979: 356-369

1978

Self-Modifying Nets, a Natural Extension of Petri NetsRüdiger Valk. icalp 1978: 464-476

On the Computational Power of Extended Petri NetsRüdiger Valk. mfcs 1978: 526-535

1977

On the rationality of Petri net languagesRüdiger Valk, Germán Vidal. tcs 1977: 319-328

1976

Minimal Machines with Several Initial States are Not UniqueRüdiger Valk. iandc, 31(2):193-196, June 1976.

1975

Reductions of Nets and Parallel PrgramsGérard Berthelot, Gérard Roucairol, Rüdiger Valk. ac 1980: 277-290

Formal Properties of Place/Transition NetsMatthias Jantzen, Rüdiger Valk. ac 1980: 165-212

Zur endlichen Approximierbarkeit sequentieller SystemeRüdiger Valk. automata 1975: 64-70

On Some Elementary Properties of Uniform AutomataRüdiger Valk. ita, 9(2):39-54, 1975.

On the Synthesis of Automata with Several Initial StatesRüdiger Valk. mfcs 1975: 439-444

1973

The use of metric and uniform spaces for the formalization of behavioral proximity of statesRüdiger Valk. automata 1973: 116-122

Sign in or sign up to see more results.

runs on WebDSL