Rudiger Valk

from Wikipedia, the free encyclopedia

Rüdiger Valk (born August 5, 1945 ) is a German mathematician; From 1976 to 2010 he was professor for theoretical computer science at the Institute for Computer Science (later Department of Computer Science) at the University of Hamburg .

Life

Valk studied mathematics at the University of Bonn, where he also received his doctorate in this subject in 1974 under the supervision of Wilfried Brauer . At the University of Hamburg he was appointed professor for theoretical computer science: 1976 to 1985 C2 and C3, 1985 to 2010 university professor (C4) as head of the work area Theoretical Foundations of Computer Science (TGI).

He has written papers on decidability issues and structural properties of Petri nets , including several books. In particular, he founded the field of object Petri nets nets in nets . At times he was in close contact with Carl Adam Petri when he was appointed honorary professor at the university. Valk has also published articles on computer science as a discipline of science and on interdisciplinary research with topics related to sociology and socionics .

Publications (excerpt)

  • Discrete and Continuous Realizations of General Time Systems. In: Journal of Cybernetics. 4, 4, 1974, pp. 43-52.
  • On Some Elementary Properties of Uniform Automata. In: Revue Française d 'Automatique Informatique Recherche Opérationnelle. 9, R-2, 1975, pp. 39-54.
  • Realizations of general systems. Report No. 107, Society for Mathematics and Data Processing Bonn, 1976.
  • Self-modifying Nets, a Natural Extension of Petri Nets. Automata Languages ​​and Programming. Colloquium, Udine. In: Lecture Notes in Computer Science. No. 62, Berlin 1978, pp. 464-476.
  • with Guy Vidal-Naquet: Petri Nets and Regular Languages. In: Journal of Computer and System Science. 23, 3, 1981, pp. 299-325.
  • Infinitive Behavior of Petri Nets. In: Theoretical Computer Science. 25, 1983, pp. 311-341.
  • with M. Jantzen: The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets. In: Acta Informatika. 21, 1985, pp. 643-674.
  • with E. Jessen: computing systems. Springer publishing house. Textbook. Berlin 1987, ISBN 3-540-16383-2 .
  • with D. Hauschildt: Safe States in Banker-like Resource Allocation Problems. In: Information and Computation. 75, 1987, pp. 232-263.
  • The computer as a challenge to human rationality. In: Computer Science Spectrum. 10, 1987, pp. 57-66.
  • Modeling Concurrency by Task / Flow EN Systems. Proceedings 3rd Workshop on Concurrency and Compositionality. (= GMD studies. No. 191). Society f. Mathematics and data processing, St. Augustin, Bonn 1991.
  • Bridging the Gap Between Floyd and S Invariants. In: M. Ajmone Marsan (Ed.): Application and Theory of Petri Nets. Chicago, USA, Lecture Notes in Computer Science No. 691, Springer, Berlin June 1993, pp. 433-453.
  • Computer science between formal and human sciences. In: Computer Science Spectrum. 20/2, Springer-Verlag, Berlin April 1997, pp. 95-100.
  • 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. No. 1420, Springer, Berlin 1998, pp. 1-25.
  • Reference and Value Semantics for Object Petri Nets. In: H. Weber, H. Ehrig, W. Reisig (Eds.): Colloquium on Petri Net Technologies for Modeling Communication Based Systems. Fraunhofer Institute for Software and Systems Engineering ISST, Berlin 1999.
  • Mobile and Distributed Object versus Central Referencing. In: J. Grabowski, St. Heymer (ed.): Formal description techniques for distributed systems. FBT'2000, 10th GI / ITG technical discussion, Lübeck, June 2000, pp. 7-27.
  • Concurrency in Communicating Object Petri Nets. In: G. Agha, F. De Cindio, G. Rozenberg (Eds.): Concurrent Object-Oriented Programming and Petri Nets. In: Lecture Notes in Computer Science. Springer, Berlin 2001, pp. 158-189.
  • with C. Girault (Ed.): Petri Nets for System Engineering - A Guide to Modeling, Verification, and Applications. Springer, Berlin 2003, ISBN 3-540-41217-4 .
  • with Rolf v. Lüde and Daniel Moldt: Socionics: Modeling sociological theory. (= Economy - work - technology. Volume 2). Lit-Verlag, Münster / Hamburg / London 2003, ISBN 3-8258-5980-0 .
  • 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.
  • with Joaquín Ezpeleta: 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 Michael Köhler, Roman Langer, Rolf von Lüde, Daniel Moldt and Heiko Rölke: Socionic multi-agent systems based on reflexive petri nets and theories of social self-organization. In: Journal of Artificial Societies and Social Simulation. 10 (1), 2007. (online at: jasss.soc.surrey.ac.uk )
  • with Rolf v. Lüde and Daniel Moldt (eds.): Self-organization and governance in artificial and social systems. (= Economy - work - technology. Volume 5). Lit-Verlag, Münster / Hamburg / London 2009, ISBN 978-3-643-10057-3 .

Web links

personal data
SURNAME Valk, Rudiger
BRIEF DESCRIPTION German mathematician, computer scientist
DATE OF BIRTH August 5, 1945