Rüdiger Valk

Rüdiger Valk
Nascimento 5 de agosto de 1945 (79 anos)
Cidadania Alemanha
Alma mater
Ocupação matemático, cientista de computação
Empregador(a) Universidade de Hamburgo

Rüdiger Valk (5 de agosto de 1945) é um matemático alemão. Foi de 1976 a 2010 professor de informática no Institut für Informatik (depois Fachbereich Informatik) na Universidade de Hamburgo, Alemanha.[1]

Valk estudou matemática na Universidade de Bonn. Supervisionado por Wilfried Brauer, continuou estudando na pós-graduação em Bonn, obtendo um doutorado matemática em 1974. Em 1976 foi professor de ciência da computação teórica (informática). De 1985 a 2010 foi chefe do grupo de pesquisas sobre fundamentações teóricas da ciência da computação (Theoretische Grundlagen der Informatik, TGI) na Universidade de Hamburgo.[1]

Carreira

Sua pesquisa inicial é caracterizada por trabalhos em autômatos e sistemas topológicos,[2][3][4] problemas de decisão[5][6][7] e propriedades estruturais de redes de Petri.[8][9][10]

Publicou artigos em conferências e periódicos[11][12] bem como livros didáticos.[13][14]

Sua carreira posterior foi dedicada ao paradigma Object Petri Nets e as Nets within Nets; ou seja, a ideia de usar redes de Petri como tokens dentro das redes de Petri.[15][16][17][18][19]

Durante um período considerável de sua carreira de pesquisador, Rüdiger Valk trabalhou em estreita colaboração com Carl Adam Petri, o inventor das redes de Petri, que ocupou um cargo de professor honorário na Universidade de Hamburgo.

Além disso, Valk contribuiu para o debate de como os computadores afetam a sociedade,[20] como a informática deve ser vista como uma disciplina científica[21] e empreendeu pesquisas interdisciplinares sobre modelos de sociologia e a disciplina derivada da sociônica como uma interseção da sociologia e da informática.[22][23][24]

Referências

  1. ↑ a b Página pessoal na Universidade de Hamburgo
  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.)

Read other articles:

Chashma-Ayub Mausoleum

Historic site in Uzbekistan Chashma-Ayub MausoleumChashma-Ayub Mausoleum (Uzbek: Chashmai Ayyub, lit. 'Job's Well') is located near the Samani Mausoleum, in Bukhara, Uzbekistan. Its name means Job's well, due to the legend in which Job (Ayub) visited this place and made a well by striking the ground with his staff. The water of this well is still pure and is considered healing. The current building was constructed during the reign of Timur and features a Khwarazm-style conical d...

 

James Florio

James Florio James Joseph Florio (29 Agustus 1937 – 25 September 2022) adalah seorang politikus Partai Demokrat Amerika Serikat yang menjabat sebagai Gubernur New Jersey ke-49 dari 1990 sampai 1994, menjadikannya Italia Amerika pertama yang memegang jabatan tersebut (ia berdarah setengah Italia). Ia juga menjabat sebagai anggota DPR selama 15 tahun antara 1975 dan 1990. Pranala luar James Florio di Biographical Directory of the United States Congress New Jersey Governor Jim Florio, Kemuncul...

 

Fokker

FokkerIndustriPenerbanganNasibBangkrutPenerusStork B.V.Didirikan22 Februari 1912Ditutup15 Maret 1996KantorpusatAmsterdam, BelandaTokohkunciAnthony FokkerProdukPesawat militerPesawat sipilSitus webwww.fokkerservices.com  Fokker adalah produsen pesawat asal Belanda yang dinamakan menurut pendirinya yaitu Anthony Fokker. Sejarah Fokker 100 milik British Midland Airways Perusahaan ini didirikan pada 21 Juli 1919 oleh seorang Belanda, Anthony Fokker (1890–1939), salah seorang penjelajah pen...

Лист, Гвидо фон

В Википедии есть статьи о других людях с такой фамилией, см. Лист. Гвидо фон Листнем. Guido von List Имя при рождении нем. Guido Karl Anton List Дата рождения 5 октября 1848(1848-10-05)[1][2][…] Место рождения Вена, Австрийская империя[1] Дата смерти 17 мая 1919(1919-05-17) (70 лет) Место смерти...

 

Hardcore punk

Hardcore punkPenampilan Minor Threat Washington, DC. Mei 1981Sumber aliranPunk rockSumber kebudayaanAkhir 1970-an, California Selatan,[1][2][3][4][5][6] Vancouver, San Francisco,[6][7] Washington, D.C.,[6]Alat musik yang biasa digunakanVokalgitar listrikgitar bassdrumsBentuk turunanAlternative rockblack metalcrustcore[8]death metalemogrungenoise rockpost-hardcorescreamoskate punkspeed metalstreet punkthrash metalS...

 

Carlos Lopes

Portuguese long-distance runner (born 1947) For the Paralympic athlete, see Carlos Lopes (Paralympic athlete). For other people, see Carlos López. In this Portuguese name, the first or maternal family name is Sousa and the second or paternal family name is Lopes. Carlos LopesLopes in 1985Personal informationNationality PortugalSportSportMen's athletics Medal record Olympic Games 1984 Los Angeles Marathon 1976 Montreal 10,000 m World Cross Country Championships 1976 Chepstow Long cou...

2014 European Parliament election in Croatia

2014 election of members of the European parliament for Croatia 2014 European Parliament election in Croatia ← 2013 25 May 2014 2019 → All 11 Croatian seats in the European ParliamentTurnout25.24%   First party Second party Third party   Leader Andrej Plenković Neven Mimica Mirela Holy Party Patriotic Coalition Kukuriku ORaH Alliance EPP S&D Green Last election 6 seats 5 seats – Seats won 6 / 11 4 / 11 1 / 11 Seat change 1 New Popular ...

 

Out of the Darkness (Hinton novel)

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article relies excessively on references to primary sources. Please improve this article by adding secondary or tertiary sources. Find sources: Out of the Darkness Hinton novel – news · newspapers · books · scholar · JSTOR (January 2015) (Learn how and when to remove this template message) ...

 

US Open 2013 - Doppio leggende maschile

US Open 2013Doppio leggende maschile Sport Tennis Vincitori John McEnroe Patrick McEnroe Finalisti Michael Chang Todd Martin Punteggio 6-4 6-0 Tornei Singolare uomini (q) donne (q)   ragazzi ragazze Doppio uomini donne misto ragazzi ragazze Singolare carrozzina uomini donne quad Doppio carrozzina uomini donne quad Leggende donne maschile misto Voce principale: US Open 2013. Questo è stato n nuovo evento. John McEnroe e Patrick McEnroe hanno battuto in finale Michael Chang e Todd Martin...

Anatole Hulot

Pour les articles homonymes, voir Hulot. Anatole HulotBiographieNaissance 2 mars 1811Le MansDécès 22 décembre 1891 (à 80 ans)Nationalité françaiseActivité Imprimeurmodifier - modifier le code - modifier Wikidata Anatole Auguste[1] Hulot (né le 2 mars 1811 au Mans[2] et mort le 22 décembre 1891[3]) est un fonctionnaire français, qui a dirigé l'entreprise de fabrication des premiers timbres-poste de France de 1848 à 1876. Biographie Fabricant de timbres-poste Le 20 centimes C�...

 

Hyundai Dynasty

Artikel ini bukan mengenai Dodge Dynasty. Hyundai DynastyInformasiProdusenHyundaiMasa produksi1981–2004PerakitanUlsan, Korea SelatanBodi & rangkaKelasMobil eksekutifTata letakMesin depan, penggerak roda depanMobil terkaitHyundai GrandeurPenyalur dayaMesin3.0 L ΣSigma V6 205 hp (153 kW)3.5 L ΣSigma V6 225 hp (168 kW)DimensiJarak sumbu roda2.745 mm (108,1 in)Panjang4.980 mm (196,1 in)Lebar1.810 mm (71,3 in)Tinggi1.445 mm (...

 

Татарское Муллино

ДеревняТатарское Муллинотат. Татар Мулла Иле 54°53′57″ с. ш. 50°08′59″ в. д.HGЯO Страна  Россия Субъект Федерации Татарстан Муниципальный район Алькеевский Сельское поселение Староалпаровское История и география Первое упоминание 1681 год[1] Высота центра 116 м ...

Armenian Brazilians

Ethnic group in Brazil Armenian BraziliansArmeno-brasileirosԲրազիլահայերTotal population40,000–100,000[1][2][3]Regions with significant populationsSão Paulo and Rio de JaneiroLanguagesPortuguese, ArmenianReligionChristianity (Armenian Apostolic Church, Roman Catholicism), and othersRelated ethnic groupsOther White Brazilians, Armenians Armenian Brazilians (Armenian: Բրազիլահայեր, romanized: Brazilahayer; Portuguese: armeno-brasileiro, ar...

 

Marie Karoline von Fuchs-Mollard

Marie Karoline von Fuchs-MollardLahir(1675-01-14)14 Januari 1675Meninggal27 April 1754(1754-04-27) (umur 73)Suami/istriGraf Christoph Ernst von FuchsOrang tuaFerdinand Ernst Graf Mollard and Katharina von Seeau Gräfin Marie Karoline von Fuchs-Mollard (14 Januari 1681 – 27 April 1754), juga dikenal dengan sebutan Charlotte, adalah seorang wanita yang pernah mendidik Maria Theresia. Ia dilahirkan di kota Wina dan masuk ke istana sebagai dayang Maria Anna dari Austria, putri Kaisar Leop...

 

Benito Martinez (actor)

American actor Benito MartinezBorn (1971-06-28) June 28, 1971 (age 52)Albuquerque, New Mexico, U.S.OccupationActorYears active1988–present Benito Martinez (born June 28, 1971)[1] is an American actor, best known for his role as LAPD Captain David Aceveda in the FX police drama The Shield, Luis Torres in Sons of Anarchy (2011–2012), Todd Denver in How to Get Away with Murder (2016–2018), Sheriff Diaz in 13 Reasons Why (2019–2020), and for his film roles in the movie M...

Barak

Untuk gedung ketentaraan, lihat Tangsi. Hakim Israel kuno Kitab Yosua:Yosua Kitab Hakim-hakim yoi: Otniel • Ehud • Samgar • Debora • Barak† • Gideon • Abimelekh† • Tola • Yair • Yefta • Ebzan • Elon • Abdon • Simson Kitab 1 Samuel:Eli • Samuel †Tidak resmi diangkat sebagai hakim Kotak ini: lihatbicarasunting Yael menunjukkan mayat Sisera kepada Barak, lukisan Albert Joseph Moore. Barak (pengucapan bahasa Inggris: [ˈbɛəræk] or /ˈbɛərək/;[1]...

 

Google Doodle

Change to Google's logo on anniversaries and special days For the software service included in Google Workspace, see Google Drawings. The first Google Doodle, on August 30, 1998, which celebrated Burning Man A Google Doodle is a special, temporary alteration of the logo on Google's homepages intended to commemorate holidays, events, achievements, and historical figures. The first Google Doodle honored the 1998 edition of the long-running annual Burning Man event in Black Rock City, Nevada, an...

 

Howard Carter

British archaeologist and Egyptologist (1874–1939) For other people named Howard Carter, see Howard Carter (disambiguation). Howard CarterCarter in 1924Born(1874-05-09)9 May 1874Kensington, EnglandDied2 March 1939(1939-03-02) (aged 64)Kensington, London, EnglandKnown forDiscovery of the tomb of Tutankhamun in 1922Scientific careerFieldsArchaeologyEgyptology Signature Howard Carter (9 May 1874 – 2 March 1939) was a British archaeologist and Egyptologist who discovere...

Haroldo Conti

Argentine writer and educatorThis article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Haroldo Conti – news · newspapers · books · scholar · JSTOR (July 2024) (Learn how and when to remove this message)Haroldo Conti Haroldo Conti (May 25, 1925 – 1976?) was an Argentine writer, screenwriter, teacher and Latin profess...

 

Вдовенко, Герасим Андреевич

В Википедии есть статьи о других людях с фамилией Вдовенко. Герасим Андреевич Вдовенко Дата рождения 4 марта 1867(1867-03-04) Место рождения станица Государственная, Терская область, Российская империя Дата смерти 22 января 1946(1946-01-22) (78 лет) Место смерти СССР Род деятельност...