Rüdiger Valk Object Petri Nets: Using the Nets-within-Nets Paradigm. [Citation Graph (0, 0)][DBLP] Lectures on Concurrency and Petri Nets, 2003, pp:819-848 [Conf]
Otthein Herzog, Rüdiger Valk Overview. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:154-160 [Conf]
Rüdiger Valk Test on Zero in Petri Nets. [Citation Graph (0, 0)][DBLP] Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:193-197 [Conf]
Rüdiger Valk Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling. [Citation Graph (0, 0)][DBLP] Application and Theory of Petri Nets, 1993, pp:433-452 [Conf]
Rüdiger Valk Petri Nets as Token Objects: An Introduction to Elementary Object Nets. [Citation Graph (0, 0)][DBLP] ICATPN, 1998, pp:1-25 [Conf]
Rüdiger Valk, Matthias Jantzen The residue of vector sets with applications to decidability problems in Petri nets. [Citation Graph (0, 0)][DBLP] European Workshop on Applications and Theory in Petri Nets, 1984, pp:234-258 [Conf]
Rüdiger Valk The use of metric and uniform spaces for the formalization of behavioral proximity of states. [Citation Graph (0, 0)][DBLP] Automatentheorie und Formale Sprachen, 1973, pp:116-122 [Conf]
Rüdiger Valk Zur endlichen Approximierbarkeit sequentieller Systeme. [Citation Graph (0, 0)][DBLP] Automata Theory and Formal Languages, 1975, pp:64-70 [Conf]
Rüdiger Valk Minimal Machines with Several Initial States are Not Unique [Citation Graph (0, 0)][DBLP] Information and Control, 1976, v:31, n:2, pp:193-196 [Journal]