Wikipédia

Utilisateur:Cahors50/Brouillon

Cette page est un brouillon appartenant à Cahors50
Conseils de rédaction
  • → N'hésitez pas à publier sur le brouillon un texte inachevé et à le modifier autant que vous le souhaitez.
  • → Pour enregistrer vos modifications au brouillon, il est nécessaire de cliquer sur le bouton bleu : « Publier les modifications ». Il n'y a pas d'enregistrement automatique.

Si votre but est de publier un nouvel article, votre brouillon doit respecter les points suivants :

  • Respectez le droit d'auteur en créant un texte spécialement pour Wikipédia en français (pas de copier-coller venu d'ailleurs).
  • Indiquez les éléments démontrant la notoriété du sujet (aide).
  • Liez chaque fait présenté à une source de qualité (quelles sources  – comment les insérer).
  • Utilisez un ton neutre, qui ne soit ni orienté ni publicitaire (aide).
  • Veillez également à structurer votre article, de manière à ce qu'il soit conforme aux autres pages de l'encyclopédie (structurer – mettre en page).
  • → Si ces points sont respectés, pour transformer votre brouillon en article, utilisez le bouton « publier le brouillon » en haut à droite. Votre brouillon sera alors transféré dans l'espace encyclopédique.


Rüdiger Valk (* 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

modifier

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

modifier

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 published a wealth of 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

modifier
  1. ↑ a et b 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, S. 43–52.
  3. ↑ On Some Elementary Properties of Uniform Automata. In: Revue Française d' Automatique Informatique Recherche Opérationnelle. 9 (1975), R-2, S. 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, S. 464–476.
  6. ↑ Petri Nets and Regular Languages. In: Journal of Computer and System Science. 23, (1981) 3, S. 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), S. 643–674. (mit M. Jantzen)
  8. ↑ Infinitive Behaviour of Petri Nets. In: Theoretical Computer Science. 25 (1983), S. 311–341.
  9. ↑ Safe States in Banker-like Resource Allocation Problems. In: Information and Computation. 75 (1987), S. 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, S. 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, S. 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, S. 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, S. 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), S. 57–66.
  21. ↑ Die Informatik zwischen Formal- und Humanwissenschaften. In: Informatik Spektrum. 20/2, Springer-Verlag, Berlin April 1997, S. 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.)

Modèle:Improve categories

Modèle:Persondata

Category:Year of birth missing (living people) Category:Living people


 

Vous êtes ici sur la page personnelle d’un utilisateur de Wikipédia en français.
Cette page ne fait pas partie de l’espace encyclopédique de Wikipédia.

Si vous avez accédé à cette page depuis un autre site que celui de Wikipédia en français, c’est que vous êtes sur un site miroir ou un site qui fait de la réutilisation de contenu. Cette page n’est peut-être pas à jour et l’utilisateur identifié n’a probablement aucune affiliation avec le site sur lequel vous vous trouvez. L’original de cette page se trouve à l'adresse suivante : https://fr.wikipedia.org/wiki/Utilisateur:Cahors50/Brouillon.

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Utilisateur:Cahors50/Brouillon&oldid=155641185 ».