الرئيسيةعريقبحث

روديجر فالك

رياضياتي ألماني

روديجر فالك (Rüdiger Valk)‏ (من مواليد 5 أغسطس 1945) وهو عالم رياضيات ألماني. عمل أستاذاً لعلوم الكمبيوتر النظرية (المعلوماتية) في معهد العلوم المعلوماتية من جامعة هامبورغ، ألمانيا من 1976 حتى 2010.[2]

روديجر فالك
معلومات شخصية
الميلاد 5 أغسطس 1945 (75 سنة) 
الجنسية ألمانيا
الحياة العملية
المدرسة الأم جامعة بون 
شهادة جامعية دكتوراه[1] 
المهنة رياضياتي،  وعالم حاسوب 
موظف في جامعة هامبورغ 

درس فالك الرياضيات في جامعة بون (ألمانيا). أشرف عليه ويلفريد برور، واصل دراسته للحصول على درجة الدراسات العليا في بون وحصل على درجة الدكتوراه في الرياضيات عام 1974. وفي عام 1976 أصبح أستاذاً لعلوم الكمبيوتر النظرية (المعلوماتية). من عام 1985 حتى عام 2010 كان رئيسًا لمجموعة الأبحاث حول الأسس النظرية لعلوم الكمبيوتر في جامعة هامبورغ.[2]

أبحاثه

قام فالك ببحث على الأوتوماتية [3][4][5] والأنظمة الطوبولوجية [6][7][8] ومشاكل القرار والخصائص الهيكلية ل شبكة بيتري.[9][10][11]

وقد نشر مقالات للمؤتمرات[12] والمجلات وكذلك الكتب المدرسية.[13][14][15]

كرس فالك حياته المهنية إلى بتري نتس ونتس ضمن نموذج نتس؛ وهي فكرة لاستخدام شبكات بتري كرموز في شبكات.[16][17]

خلال فترة طويلة من حياته المهنية البحثية، عمل روديجر فالك بالتعاون الوثيق مع آدم كارل بيتري، مخترع بتري نتس، الذي كان يشغل منصب أستاذ فخري في جامعة هامبورغ.[18][19][20][21][22]

علاوة على ذلك، ساهم فالك في النقاش حول كيفية تأثير أجهزة الكمبيوتر على المجتمع وكيف ينبغي النظر إلى المعلوماتية على أنها نظام علمي وإجراء أبحاث متعددة في التخصصات حول نماذج علم الاجتماع والانضباط المشتق من علم الاجتماع باعتباره تقاطعًا لعلم الاجتماع والمعلوماتية.[23][24][25]

مراجع

  1. وصلة : https://d-nb.info/gnd/1025822749 — تاريخ الاطلاع: 3 مايو 2015 — الرخصة: CC0
  2. http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/profs/valk_eng.html (accessed 30 July 2013)
  3. Discrete and Continuous Realizations of General Time Systems. In: Journal of Cybernetics. 4 (1974) 4, pp. 43–52.
  4. On Some Elementary Properties of Uniform Automata. In: Revue Française d' Automatique Informatique Recherche Opérationnelle. 9 (1975), R-2, pp. 39–54.
  5. Realisierungen allgemeiner Systeme. Bericht Nr. 107, Gesellschaft für Mathematik und Datenverarbeitung Bonn, 1976.
  6. 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.
  7. Petri Nets and Regular Languages. In: Journal of Computer and System Science. 23, (1981) 3, pp. 299–325. (with Guy Vidal-Naquet)
  8. The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets. In: Acta Informatika. 21 (1985), pp. 643–674. (mit M. Jantzen)
  9. Infinitive Behaviour of Petri Nets. In: Theoretical Computer Science. 25 (1983), pp. 311–341.
  10. Safe States in Banker-like Resource Allocation Problems. In: Information and Computation. 75 (1987), pp. 232–263. (with D. Hauschildt)
  11. 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.
  12. 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.
  13. Rechensysteme. Springer Verlag. Lehrbuch. Berlin 1987, (ردمك ). (with E. Jessen)
  14. Petri Nets for System Engineering - A Guide to Modelling, Verification, and Applications. Springer, Berlin, 2003 (Ed. with C. Girault), (ردمك ).
  15. 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)
  16. Der Computer als Herausforderung an die menschliche Rationalität. In: Informatik-Spektrum. 10 (1987), pp. 57–66.
  17. Die Informatik zwischen Formal- und Humanwissenschaften. In: Informatik Spektrum. 20/2, Springer-Verlag, Berlin April 1997, pp. 95–100.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. Sozionik: Modellierung soziologischer Theorie. (Wirtschaft - Arbeit - Technik, Volume 2). Lit-Verlag, Münster/ Hamburg/ London 2003, (ردمك ). (with Rolf v. Lüde, Daniel Moldt)
  24. 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) - تصفح: نسخة محفوظة 08 مارس 2018 على موقع واي باك مشين.
  25. Selbstorganisation und Governance in künstlichen und sozialen Systemen. (Wirtschaft - Arbeit - Technik, Band 5). Lit-Verlag, Münster/ Hamburg/ London 2009, (ردمك ). (with Rolf v. Lüde, Daniel Moldt, Eds.)

موسوعات ذات صلة :