Rüdiger Valk

Rüdiger Valk (born 5 August 1945) is a German mathematician. From 1976 to 2010 he was Professor for Theoretical Computer Science (Informatics) at the Institut für Informatik (later Fachbereich Informatik) of the University of Hamburg, Germany.[1]

Biography

Rüdiger Valk studied mathematics at the University of Bonn (Germany). Supervised by Wilfried Brauer, he continued studying for a postgraduate degree at Bonn and received his PhD in Mathematics in 1974. In 1976 he became Professor for Theoretical Computer Science (Informatics). From 1985 until 2010 he was head of the research group on theoretical foundations of computer science (Theoretische Grundlagen der Informatik, TGI) at the University of Hamburg.[1]

Research career

His early research is characterised by work on topological automata and systems,[2][3][4] decision problems[5][6][7] and structural properties of Petri nets.[8][9][10]

He has published conference and journal articles[11][12] as well as textbooks.[13][14]

His later career was devoted to his brainchild Object Petri Nets and the Nets within Nets paradigm; i.e., the idea of using Petri nets as tokens within Petri nets.[15][16][17][18][19]

During a considerable period of his research career, Rüdiger Valk worked in close collaboration with Carl Adam Petri, the inventor of Petri nets, who held an honorary professorship at the University of Hamburg.

Furthermore, Valk contributed to the debate of how computers affect society,[20] how Informatics should be viewed as a scientific discipline[21] and undertook interdisciplinary research on models of sociology and the derived discipline of socionics as an intersection of sociology and informatics.[22][23][24]

References

  1. 1 2 http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/profs/valk_eng.html (accessed 30 July 2013)
  2. ↑ Discrete and Continuous Realizations of General Time Systems. In: Journal of Cybernetics. 4 (1974) 4, pp. 43–52.
  3. ↑ On Some Elementary Properties of Uniform Automata. In: Revue Française d' Automatique Informatique Recherche Opérationnelle. 9 (1975), R-2, pp. 39–54.
  4. ↑ Realisierungen allgemeiner Systeme. Bericht Nr. 107, Gesellschaft für Mathematik und Datenverarbeitung Bonn, 1976.
  5. ↑ Self-modifying Nets, a Natural Extension of Petri Nets. Automata Languages and Programming. Colloquium, Udine In: Lecture Notes in Computer Science. No. 62, Berlin, pp. 464–476.
  6. ↑ Petri Nets and Regular Languages. In: Journal of Computer and System Science. 23, (1981) 3, pp. 299–325. (with Guy Vidal-Naquet)
  7. ↑ The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets. In: Acta Informatika. 21 (1985), pp. 643–674. (mit M. Jantzen)
  8. ↑ Infinitive Behaviour of Petri Nets. In: Theoretical Computer Science. 25 (1983), pp. 311–341.
  9. ↑ Safe States in Banker-like Resource Allocation Problems. In: Information and Computation. 75 (1987), pp. 232–263. (with D. Hauschildt)
  10. ↑ Bridging the Gap Between Floyd- and S-Invariants. In: Ajmone Marson M. (Ed.): Application and Theory of Petri Nets. Chicago, USA, Lecture Notes in Computer Science No. 691, Springer, Berlin Juni 1993, pp. 433–453.
  11. ↑ Modelling Concurrency by Task/Flow EN Systems. Proceedings 3rd Workshop on Concurrency and Compositionality. GMD-Studien Nr. 191, Gesellschaft f. Mathematik und Datenverarbeitung, St. Augustin, Bonn, 1991.
  12. ↑ Polynomial deadlock avoidance method for a class of nonsequential resource allocation systems. IEEE Transactions on Systems. In: Man, and Cybernetics - Part A: Systems and Humans. 36(6), 2006. (with Joaquín Ezpeleta)
  13. ↑ Rechensysteme. Springer Verlag. Lehrbuch. Berlin 1987, ISBN 3-540-16383-2. (with E. Jessen)
  14. ↑ Petri Nets for System Engineering - A Guide to Modelling, Verification, and Applications. Springer, Berlin, 2003 (Ed. with C. Girault), ISBN 3-540-41217-4.
  15. ↑ Petri Nets as Token Objects - An Introduction to Elementary Object Nets. In: J. Desel, M. Silva (Eds.): Proc. Application and Theory of Petri Nets. Lisbon, Portugal In: Lecture Notes in Computer Science. Nr. 1420, Springer, Berlin 1998, pp. 1–25.
  16. ↑ Reference and Value Semantics for Object Petri Nets. In: H. Weber, H. Ehrig, W. Reisig (Eds.): Colloquium on Petri Net Technologies for Modelling Communication Based Systems. Fraunhofer Institute for Software and Systems Engineering ISST, Berlin 1999.
  17. ↑ Mobile and Distributed Object versus Central Referencing. In: J. Grabowski, St. Heymer (Eds.): Formale Beschreibungstechniken für verteilte Systeme. FBT’2000, 10. GI/ITG-Fachgespräch, Lübeck, June 2000, pp. 7–27.
  18. ↑ Concurrency in Communicating Object Petri Nets. In: G. Agha, F. De Cindio, G. Rozenberg (Hrsg.): Concurrent Object-Oriented Programming and Petri Nets. In: Lecture Notes in Computer Science. Springer, Berlin 2001, pp. 158–189.
  19. ↑ Using the Nets-within-Nets Paradigm, Proceedings of the Advanced Course on Petri Nets 2003. Eichstätt, Germany. Lecture Notes in Computer Science, Springer-Verlag, 2004.
  20. ↑ Der Computer als Herausforderung an die menschliche Rationalität. In: Informatik-Spektrum. 10 (1987), pp. 57–66.
  21. ↑ Die Informatik zwischen Formal- und Humanwissenschaften. In: Informatik Spektrum. 20/2, Springer-Verlag, Berlin April 1997, pp. 95–100.
  22. ↑ Sozionik: Modellierung soziologischer Theorie. (Wirtschaft - Arbeit - Technik, Volume 2). Lit-Verlag, Münster/ Hamburg/ London 2003, ISBN 3-8258-5980-0. (with Rolf v. Lüde, Daniel Moldt)
  23. ↑ Socionic multi-agent systems based on reflexive petri nets and theories of social self-organisation. In: Journal of Artificial Societies and Social Simulation. 10(1), 2007. (with Michael Köhler, Roman Langer, Rolf von Lüde, Daniel Moldt, Heiko Rölke) (online at: jasss.soc.surrey.ac.uk)
  24. ↑ Selbstorganisation und Governance in künstlichen und sozialen Systemen. (Wirtschaft - Arbeit - Technik, Band 5). Lit-Verlag, Münster/ Hamburg/ London 2009, ISBN 978-3-643-10057-3. (with Rolf v. Lüde, Daniel Moldt, Eds.)
This article is issued from Wikipedia - version of the 6/2/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.