( en | de | ru )

 

Disambiguation of "Valk, Rüdiger"

Author of the publication

copydeleteadd this publication to your clipboard
A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems.

, and . IEEE Trans. Syst. Man Cybern. Part A, 36 (6): 1234-1243 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Rüdiger Valk

Rudolf Valk

Giselher Valk

Inga Valk

Thorsten Valk

 

Other publications of authors with the same name

Overview on Topic 5: Mathematical Analysis and Net Languages., and . Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, volume 52 of Informatik-Fachberichte, page 154-160. Springer, (1981)Test on Zero in Petri Nets.. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, volume 52 of Informatik-Fachberichte, page 193-197. Springer, (1981)Formal Properties of Place/Transition Nets., and . Advanced Course: Net Theory and Applications, volume 84 of Lecture Notes in Computer Science, page 165-212. Springer, (1979)A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems., and . IEEE Trans. Syst. Man Cybern. Part A, 36 (6): 1234-1243 (2006)Petri-Netze: ein Abriß ihrer Grundlagen und Anwendungen., , and . Inform. Spektrum, 7 (1): 20-27 (1984)Generalizations of Petri Nets.. MFCS, volume 118 of Lecture Notes in Computer Science, page 140-155. Springer, (1981)Mobile and Distributed Objects versus Central Referencing.. FBT, page 7-27. Verlag Shaker, (2000)Analysing cycloids using linear algebra.. CoRR, (2024)Concurrency in Communicating Object Petri Nets.. Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of Lecture Notes in Computer Science, page 164-195. Springer, (2001)The use of metric and uniform spaces for the formalization of behavioral proximity of states.. Automatentheorie und Formale Sprachen, volume 2 of Lecture Notes in Computer Science, page 116-122. Springer, (1973)