Rüdiger Valk

Rüdiger Valk (* August 5, 1945 ) is a German mathematician; He was from 1976 to 2010 as a professor of theoretical computer science at the Department of computer science (later Department of computer science ) at the University of Hamburg.

Life

Valk studied mathematics at the University of Bonn and received his doctorate there in this subject in 1974 under the supervision of Wilfried Brauer. He was appointed professor of theoretical computer science at the University of Hamburg: 1976-1985 C2 and C3, 1985-2010 University Professor (C4 ) as head of the workspace Theoretical foundations of computer science (TGI).

He has written papers on Entscheidbarkeitsfragen and structural properties of Petri nets, including several books. In particular, he has established the field of Object Petri Nets in nets. At times, he had close contact with Carl Adam Petri, was appointed as the Honorary Professor of the University. Valk has also published contributions to computer science as a discipline of science and interdisciplinary research topics for sociology and Socionics.

Publications (excerpt)

  • Discrete and Continuous Realizations of General Time Systems. In: Journal of Cybernetics. 4 (1974) 4, pp. 43-52.
  • On Some Elementary Properties of Uniform Automata. In: Revue Française d' Automatique Informatique Search Opérationnelle. 9 (1975), R- 2, 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, pp. 464-476.
  • Behaviour of Petri Nets infinitives. In: Theoretical Computer Science. 25 (1983 ), pp. 311-341.
  • The Residue of Vector Sets with Applications to decidability problems in Petri Nets. In: Acta Informatika. 21 (1985 ), pp. 643-674. ( with M. Jantzen )
  • Computing systems. Springer Verlag. Textbook. Berlin 1987, ISBN 3-540-16383-2. ( with E. Jessen )
  • Safe states in banker like resource allocation problem. In: Information and Computation. 75 (1987 ), pp. 232-263. ( with D. Hauschildt )
  • The computer as a challenge to human rationality. In: computer science spectrum. 10 (1987 ), pp. 57-66.
  • Modelling Concurrency by Task / Flow EN Systems. Proceedings 3rd Workshop on Concurrency and compositionality. GMD Studies No. 191, Society for Mathematics and Data Processing St. Augustin, Bonn, 1991.
  • Bridging the Gap Between Floyd -and S- Invariants. In: Ajmone Marson M. (eds.): Application and Theory of Petri Nets. Chicago, USA, Lecture Notes in Computer Science no. 691, Springer, Berlin, June 1993, pp. 433-453.
  • The 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 Modelling 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 (eds.): Formal Description Techniques for Distributed Systems. FBT'2000, 10th GI / ITG conversation, 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.
  • Petri Nets for System Engineering - A Guide to Modeling, Verification, and Applications. Springer, Berlin, 2003 ( ed. with C. Girault ), ISBN 3-540-41217-4.
  • Socionics: Modeling sociological theory. ( Business - Work - Technology, Volume 2). Lit Verlag, Münster / Hamburg / London 2003, ISBN 3-8258-5980-0. ( with Rolf v. Lüde, Daniel Moldt )
  • 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.
  • Polynomial deadlock avoidance method for a class of nonsequential resource allocation system. IEEE Transactions on Systems. In: Man, and Cybernetics - Part A: Systems and Humans. 36 (6 ), 2006. ( With Joaquín Ezpeleta )
  • Socionic multi -agent systems based on petri nets and reflexive theories of social self- organization. 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 )
  • Self- Organization and Governance in artificial and social systems. ( Business - Work - Technology, Volume 5 ). Lit Verlag, Münster / Hamburg / London 2009, ISBN 978-3-643-10057-3. ( with Rolf v. Lüde, Daniel Moldt, eds )
695983
de