×

zbMATH — the first resource for mathematics

Valk, Rüdiger

Compute Distance To:
Author ID: valk.ruediger Recent zbMATH articles by "Valk, Rüdiger"
Published as: Valk, R.; Valk, Rudiger; Valk, Ruediger; Valk, Rüdiger
External Links: Wikidata · GND
Documents Indexed: 37 Publications since 1973, including 7 Books

Publications by Year

Citations contained in zbMATH Open

17 Publications have been cited 119 times in 100 Documents Cited by Year
Petri nets and regular languages. Zbl 0473.68057
Valk, Ruediger; Vidal-Naquet, Guy
26
1981
The residue of vector sets with applications to decidability problems in Petri nets. Zbl 0545.68051
Valk, Rudiger; Jantzen, Matthias
20
1985
Petri nets for system engineering. A guide to modeling, verification, and applications. Zbl 1024.68072
Girault, Claude; Valk, Rüdiger
19
2003
Self-modifying nets, a natural extension of Petri nets. Zbl 0415.68025
Valk, Rüdiger
12
1978
Object Petri nets. Using the nets-within-nets paradigm. Zbl 1088.68135
Valk, Rüdiger
8
2004
Infinite behaviour and fairness in Petri nets. Zbl 0571.68045
Carstensen, Heino; Valk, Rüdiger
8
1985
Infinite behaviour of Petri nets. Zbl 0559.68057
Valk, Rüdiger
7
1983
Generalizations of Petri nets. Zbl 0477.68056
Valk, Ruediger
6
1981
On the rationality of Petri net languages. Zbl 0368.68067
Valk, R.; Vidal, G.
3
1977
An extensible editor and simulation engine for Petri nets: Renew. Zbl 1094.68589
Kummer, Olaf; Wienberg, Frank; Duvigneau, Michael; Schumacher, Jörn; Köhler, Michael; Moldt, Daniel; Rölke, Heiko; Valk, Rüdiger
2
2004
On the computational power of extended Petri nets. Zbl 0394.68044
Valk, Rüdiger
2
1978
Concurrency in communicating object Petri nets. Zbl 0976.68543
Valk, Rüdiger
1
2001
Safe states in banker-like resource allocation problems. Zbl 0626.68017
Hauschildt, Dirk; Valk, Rüdiger
1
1987
Rechensysteme. Grundlagen der Modellbildung. Zbl 0619.68001
Jessen, E.; Valk, R.
1
1987
The residue of vector sets with applications to decidability problems in Petri nets. Zbl 0613.68029
Valk, Rüdiger; Jantzen, Matthias
1
1985
Realisierungen allgemeiner Systeme. Zbl 0343.93004
Valk, Rüdiger
1
1976
The use of metric and uniform spaces for the formalization of behavioral proximity of states. Zbl 0341.94028
Valk, R.
1
1973
Object Petri nets. Using the nets-within-nets paradigm. Zbl 1088.68135
Valk, Rüdiger
8
2004
An extensible editor and simulation engine for Petri nets: Renew. Zbl 1094.68589
Kummer, Olaf; Wienberg, Frank; Duvigneau, Michael; Schumacher, Jörn; Köhler, Michael; Moldt, Daniel; Rölke, Heiko; Valk, Rüdiger
2
2004
Petri nets for system engineering. A guide to modeling, verification, and applications. Zbl 1024.68072
Girault, Claude; Valk, Rüdiger
19
2003
Concurrency in communicating object Petri nets. Zbl 0976.68543
Valk, Rüdiger
1
2001
Safe states in banker-like resource allocation problems. Zbl 0626.68017
Hauschildt, Dirk; Valk, Rüdiger
1
1987
Rechensysteme. Grundlagen der Modellbildung. Zbl 0619.68001
Jessen, E.; Valk, R.
1
1987
The residue of vector sets with applications to decidability problems in Petri nets. Zbl 0545.68051
Valk, Rudiger; Jantzen, Matthias
20
1985
Infinite behaviour and fairness in Petri nets. Zbl 0571.68045
Carstensen, Heino; Valk, Rüdiger
8
1985
The residue of vector sets with applications to decidability problems in Petri nets. Zbl 0613.68029
Valk, Rüdiger; Jantzen, Matthias
1
1985
Infinite behaviour of Petri nets. Zbl 0559.68057
Valk, Rüdiger
7
1983
Petri nets and regular languages. Zbl 0473.68057
Valk, Ruediger; Vidal-Naquet, Guy
26
1981
Generalizations of Petri nets. Zbl 0477.68056
Valk, Ruediger
6
1981
Self-modifying nets, a natural extension of Petri nets. Zbl 0415.68025
Valk, Rüdiger
12
1978
On the computational power of extended Petri nets. Zbl 0394.68044
Valk, Rüdiger
2
1978
On the rationality of Petri net languages. Zbl 0368.68067
Valk, R.; Vidal, G.
3
1977
Realisierungen allgemeiner Systeme. Zbl 0343.93004
Valk, Rüdiger
1
1976
The use of metric and uniform spaces for the formalization of behavioral proximity of states. Zbl 0341.94028
Valk, R.
1
1973
all top 5

Cited by 186 Authors

9 Yen, Hsu-Chun
7 Finkel, Alain
6 Howell, Rodney R.
6 Rosier, Louis E.
5 Heiner, Monika
4 Valk, Rüdiger
3 Goubault-Larrecq, Jean
3 Schnoebelen, Philippe
3 Schwer, Sylviane R.
2 Atig, Mohamed Faouzi
2 Baez, John C.
2 Baldan, Paolo
2 Blondin, Michael
2 Correcher, Antonio
2 Ding, Zuohua
2 Ehrig, Hartmut
2 Finkel, Olivier
2 García, Emilio
2 Jančar, Petr
2 Jantzen, Matthias
2 Kühnel, Wolfgang
2 Moller, Faron
2 Morant, Francisco
2 Muñoz, Doyra Mariela
2 Pelz, Elisabeth
2 Raskin, Jean-François
2 Suzuki, Ichiro
1 Abdulla, Parosh Aziz
1 Armas-Cervantes, Abel
1 Bathelt, P.
1 Bertens, Laura M. F.
1 Bertrand, Nathalie
1 Betz, Tobias
1 Boukala, Malika
1 Bruni, Roberto
1 Burkhard, Hans-Dieter
1 Cabac, Lawrence
1 Cerone, Antonio
1 Chambart, Pierre
1 Chen, Chien-Liang
1 Chen, Ming
1 Chen, Zhenbang
1 Cheung, To-Yat
1 Ciardo, Gianfranco
1 Clarke, Dave
1 Cocco, Nicoletta
1 Corradini, Andrea
1 Courser, Kenny
1 Czerwiński, Wojciech
1 Dahmani, Djaouida
1 Dang, Han-Hing
1 Darondeau, Philippe
1 David, Nicolas
1 Demri, Stéphane P.
1 Dong, Yuan
1 Dumas, Marlon
1 Duparc, Jacques
1 Duvigneau, Michael
1 Dworzański, Leonid W.
1 Eckstein, Silke
1 Engelfriet, Joost
1 Esparza, Javier
1 Gadducci, Fabio
1 Garavel, Hubert
1 García-Bañuelos, Luciano
1 Garg, Vijay K.
1 Ge, Qi-Wei
1 Geeraerts, Gilles
1 Gilbert, David
1 Ginzburg, Abraham
1 Habermehl, Peter
1 Haddad, Serge
1 Halfon, Simon
1 Hariharaputran, Sridhar
1 Hauschildt, Dirk
1 Herajy, Mostafa
1 Hille, Sander Cornelis
1 Hirshfeld, Yoram
1 Hofestädt, Ralf
1 Hofmann, Fridolin
1 Hoogeboom, Hendrik Jan
1 Huang, Hejiao
1 Huynh, Dung T.
1 Ilié, Jean-Michel
1 Imai, Katsunobu
1 Ivutin, A. N.
1 Jard, Claude
1 Jiao, Li
1 Jin, Xiaoqing
1 Jones, Sam A. M.
1 Juhl, Line
1 Júlvez, Jorge
1 Karandikar, Prateek
1 Kasami, Tadao
1 Kim, Minyoung
1 Klai, Kais
1 Kleijn, Jetty H. C. M.
1 Köhler-Bußmeier, Michael
1 König, Barbara
1 Kormeier, Benjamin
...and 86 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.