Concepedia

Rüdiger Valk

RV

8

Publications

1.1K

Citations

8

H-Index

1981

Active since

Affiliations

Universität Hamburg(Current)

Rüdiger Valk is an author at Universität Hamburg specializing in computer science, engineering, and formal methods.

Top concepts

Publications per year

1981–2007

8

Publications

8

Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications

Claude Girault, Rüdiger Valk · HAL (Le Centre pour la Communication Scientifique Directe) · 2003 · 485 citations

, , +20

Petri Nets as Token Objects: An Introduction to Elementary Object Nets

Rüdiger Valk · Applications and Theory of Petri Nets · 1998 · 285 citations

, , +13

Petri nets and regular languages

Rüdiger Valk, Guy Vidal-Naquet · Journal of Computer and System Sciences · 1981 · 117 citations

, , +7

Object Petri Nets -- Using the Nets-within-Nets Paradigm

Rüdiger Valk · 2004 · 95 citations

Infinite behaviour of Petri nets

Rüdiger Valk · Theoretical Computer Science · 1983 · 36 citations

, , +5

Rows per page

1–5 of 8