R. Valk

Universität Hamburg — Germany

Computer Science · Physical Sciences

6h-index306citations13works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Petri Nets in System Modeling(4), Logic, programming, and type systems(3), Formal Methods in Verification(3), semigroups and automata theory(3), Flexible and Reconfigurable Manufacturing Systems(2)

Publications13 total

A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems
IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans·2006· 21 cited
The use of metric and uniform spaces for the formalization of behavioral proximity of states
Lecture notes in computer science·2006· 3 cited
Fries in het voortgezet onderwijs, een Echternachse processie : een evaluatieonderzoek naar de effecten van het project Op weg naar Fries als examenvak in het voortgezet onderwijs
Data Archiving and Networked Services (DANS)·2005· 1 cited
Modelling and Analysis Techniques by Example
2003· 3 cited
Essential Features of Petri Nets
2003· 4 cited
Foundations of computer science : potential--theory--cognition
Springer eBooks·1997· 56 cited
Basisgegevens extramurale fysiotherapie 1989-1992: gegevens uit het project 'Beleidsgericht evaluatie- en effectonderzoek extramurale fysiotherapie (BEEF)'
Data Archiving and Networked Services (DANS)·1995· 5 citedOpen Access
Fysiotherapie en thuiszorg: inventariserend onderzoek naar de rol van de fysiotherapeut bij de behandeling aan huis.
Data Archiving and Networked Services (DANS)·1994Open Access
The residue of vector sets with applications to decidability problems in Petri nets
Acta Informatica·1985· 73 cited
Overview on Topic 5: Mathematical Analysis and Net Languages
Informatik-Fachberichte·1982
Formal properties of place/transition nets
Lecture notes in computer science·1980· 92 cited
Reductions of nets and parallel programs
Lecture notes in computer science·1980· 35 cited
On the rationality of petri net languages
Lecture notes in computer science·1977· 13 cited

Frequent Co-authors

Matthias Jantzen(3), Joost Dekker(2), Wilfried Brauer(1), Christian Freksa(1), G Berthelot(1), Gérard Roucairol(1), J. Ezpeleta(1), Germán Vidal(1), M. Boschman(1), J. van der Bij(1), M.E. van Baar(1), Otthein Herzog(1)